c字符串模板没有用于调用basic\u字符串的匹配函数

Question

我正在编写公共函数以将类型T转换为字符串：

>

当其他人使用stringstream操作符时

当T是std：：string时，只需返回T

template <typename Numeric>
string to_str1(Numeric n){
    return std::to_string(n);
}

template <typename NonNumeric>
std::string to_str2(const NonNumeric& v){
    std::stringstream ss;
    ss << v;
    return ss.str();
}

// if T is string just return
std::string to_str2(const std::string& v){
    return v;
}

template<typename T>
string to_str(const T& t){
    if(std::is_integral<T>::value){
        return to_str1(t);
    }else{
        return to_str2(t);
    }
}

测试用法：

int a = 1101;
cout << to_str(a) << endl;

string s = "abc";
cout << to_str(s) << endl;  // should use to_str2(const std::string& v),but compile error

但编译错误：

正在实例化字符串到\u str1。。。。。没有用于调用to\u字符串的匹配函数（std：：\u cxx11：：basic\u字符串

我不知道为什么会出现这个错误？

Answer 1

问题是if和ore分支都将在编译时进行评估；您可以使用Constexr IF（从C 17开始）。

如果值为true，则放弃语句false（如果存在），否则放弃语句true。

template<typename T>
string to_str(const T& t){
    if constexpr (std::is_integral<T>::value){
        return to_str1(t);
    }else{
        return to_str2(t);
    }
}

或者在SFINAE的帮助下重载to_str。

// for integral-numbers
template <typename T>
typename std::enable_if<std::is_integral<T>::value, std::string>::type
to_str(T n){
    return std::to_string(n);
}

// for non-integral-numbers
template <typename T>
typename std::enable_if<!std::is_integral<T>::value, std::string>::type
to_str(const T& v){
    std::stringstream ss;
    ss << v;
    return ss.str();
}

// if T is string just return
std::string to_str(const std::string& v) {
    return v;
}

Answer 2

当你写作时

if(std::is_integral<T>::value){
    return to_str1(t);
}else{
    return to_str2(t);
}

那么，if条件在运行时总是true或false是正确的，但仍然需要编译这两个分支。但是，第一个分支不适用于t=std：：string。

如果要根据编译时常量排除完全编译的分支（语法检查除外），那么可以使用If constexpr：

if constexpr(std::is_integral<T>::value){
    return to_str1(t);
}else{
    return to_str2(t);
}

这告诉编译器在编译时检查if条件，并且只编译将采取的分支。

这需要C 17或更高版本。