使用模板成员函数和非模板重载的参数推导

时间:2013-05-16 15:25:01

标签: c++ templates c++11

我不确定如何提出这个问题,因为我对模板使用的知识很浅,但这里什么都没有。

我有一个类,我想为所有数值提供一个函数模板,然后这个函数模板调用需要std :: string的非模板版本,如下所示。

template< class T > void
add_to_header( const std::string &key, const T &val )
{
    add_to_header( key, std::to_string( val ) );
}

virtual void
add_to_header( const header& header );

virtual void
add_to_header( const std::string &key, const std::string &val );

此代码编译干净但我无法使用 const char [] 进行调用。

instance.add_to_header( "Example1", 4 ); // successful
instance.add_to_header( "Example2", std::string( "str val" ) ); // successful
instance.add_to_header( "Example3", "Not fun" ); // error - none of the 9 overloads could convert all the argument types

解决此问题的惯用方法是什么?

2 个答案:

答案 0 :(得分:7)

如果你在add_to_header的声明中指明它需要能够在其参数上调用to_string,那么模板重载将通过SFINAE消除:

void add_to_header( const std::string &key, const std::string &val );

template<typename T> auto add_to_header( const std::string &key, const T &val )
-> decltype(std::to_string(val), void())  // uses comma operator
{
    add_to_header( key, std::to_string( val ) );
}

请注意,非模板重载需要在模板主体定义的语法点处可见,以便主体内部的调用可以看到非模板重载。

使用C ++ 14约束,我们可以用封装需求的约束替换typename T(或class T):

template<typename T> constexpr bool ToStringable() {
    using namespace std;
    void to_string(...);
    return is_same<string, decltype(to_string(declval<T>()))>::value;
}

template<ToStringable T>
void add_to_header( const std::string &key, const T &val )
{
    add_to_header( key, std::to_string( val ) );
}

答案 1 :(得分:0)

为什么要使用模板?你可以简单地重载add_to_header函数......