C++模板函数编译错误：std::vector无法push_back std::string，如何兼容多类型？

你的编译错误根源在于模板函数的实例化机制：当你调用bar.getData<int>(types::TINT)时，编译器会实例化整个getData<int>函数体，包括所有switch分支——哪怕TSTRING分支在运行时永远不会执行，编译器仍会检查该分支的代码是否合法。此时std::vector<int>的push_back只能接受int类型，而你试图传入std::string，自然触发类型不匹配的错误。

方法1：使用if constexpr（C++17及以上推荐） #

利用C++17的编译时条件判断，让编译器只编译符合当前模板参数T的分支，其他分支会被直接丢弃，不会进行语法检查。

修改后的代码：

#include <iostream>
#include <vector>
#include <string> // 注意：原代码漏了<string>头文件，必须添加

enum types{
    TINT = 0,
    TDOUBLE = 1,
    TSTRING = 2,
};

class TestClass{
public:
    template<typename T> std::vector<T> getData(types type)
    {
        std::vector<T> entries;

        if constexpr (std::is_same_v<T, int>) {
            if (type == types::TINT) {
                entries.push_back(1);
            }
        } else if constexpr (std::is_same_v<T, double>) {
            if (type == types::TDOUBLE) {
                entries.push_back(0.1);
            }
        } else if constexpr (std::is_same_v<T, std::string>) {
            if (type == types::TSTRING) {
                entries.push_back("foo");
            }
        }

        return entries;
    }
};

int main()
{
    TestClass bar;
    std::vector<int> test = bar.getData<int>(types::TINT);
    std::vector<std::string> str_test = bar.getData<std::string>(types::TSTRING);

    return 0;
}

方法2：模板特化 #

为每种需要支持的类型单独编写getData的特化版本，每个特化只处理对应类型的逻辑，避免无效代码的编译检查。

修改后的代码：

#include <iostream>
#include <vector>
#include <string>

enum types{
    TINT = 0,
    TDOUBLE = 1,
    TSTRING = 2,
};

class TestClass{
public:
    // 声明基础模板（不需要实现，只作为特化的接口）
    template<typename T> std::vector<T> getData(types type);
};

// int类型特化
template<>
std::vector<int> TestClass::getData<int>(types type) {
    std::vector<int> entries;
    if (type == types::TINT) {
        entries.push_back(1);
    }
    return entries;
}

// double类型特化
template<>
std::vector<double> TestClass::getData<double>(types type) {
    std::vector<double> entries;
    if (type == types::TDOUBLE) {
        entries.push_back(0.1);
    }
    return entries;
}

// std::string类型特化
template<>
std::vector<std::string> TestClass::getData<std::string>(types type) {
    std::vector<std::string> entries;
    if (type == types::TSTRING) {
        entries.push_back("foo");
    }
    return entries;
}

int main()
{
    TestClass bar;
    std::vector<int> test = bar.getData<int>(types::TINT);
    std::vector<std::string> str_test = bar.getData<std::string>(types::TSTRING);

    return 0;
}

方法3：标签分发（兼容C++11/14） #

如果你的编译器不支持C++17，可以用标签分发的方式，通过重载函数处理不同类型的逻辑，避免在模板函数中出现无效代码。

修改后的代码：

#include <iostream>
#include <vector>
#include <string>
#include <type_traits>

enum types{
    TINT = 0,
    TDOUBLE = 1,
    TSTRING = 2,
};

class TestClass{
private:
    // 处理int类型的重载
    std::vector<int> getDataImpl(types type, std::true_type /* is_int */) {
        std::vector<int> entries;
        if (type == types::TINT) {
            entries.push_back(1);
        }
        return entries;
    }

    // 处理double类型的重载
    std::vector<double> getDataImpl(types type, std::true_type /* is_double */) {
        std::vector<double> entries;
        if (type == types::TDOUBLE) {
            entries.push_back(0.1);
        }
        return entries;
    }

    // 处理std::string类型的重载
    std::vector<std::string> getDataImpl(types type, std::true_type /* is_string */) {
        std::vector<std::string> entries;
        if (type == types::TSTRING) {
            entries.push_back("foo");
        }
        return entries;
    }

public:
    template<typename T> std::vector<T> getData(types type)
    {
        return getDataImpl(type, std::is_same<T, int>{});
    }
};

// 为double和std::string特化getData模板
template<>
std::vector<double> TestClass::getData<double>(types type) {
    return getDataImpl(type, std::is_same<double, double>{});
}

template<>
std::vector<std::string> TestClass::getData<std::string>(types type) {
    return getDataImpl(type, std::is_same<std::string, std::string>{});
}

int main()
{
    TestClass bar;
    std::vector<int> test = bar.getData<int>(types::TINT);
    std::vector<std::string> str_test = bar.getData<std::string>(types::TSTRING);

    return 0;
}

原代码中漏了<string>头文件，使用std::string必须包含该头文件，否则会出现未定义类型的编译错误。

内容的提问来源于stack exchange，提问作者John Doe