Question

我需要根据模板化的参数返回正确的类型。我收到如下错误：有人可以建议最新解决方案吗？提前谢谢。

error: no matching function for call to âsecond::second(const std::basic_string<char, 
std::char_traits<char>, std::allocator<char> >&)â
note: candidates are: second::second(const std::string&, const std::string&)
note:                 second::second(const second&)

代码如下：

struct first
{
public:
    const string &str;
    first(const string & str) : str(str)     {    }
};

struct second : public first
{
public:
    const string &str2;
    second(const string &str1, const string &str2) : first(str1), str2(str2)
    {    }
};

class base
{
public:
    template<class T>
    inline T fun(const string &s1, const string &s2);//     { cout<<" T = "<<a;    }
};

template<class T>
inline T  base::fun(const string &s1, const string &s2)
{
    if(1)
        return T(s1);
    else
        return T(s1, s2);
}


int main()
{
    string a = "a";
    string bb = "b";
    base b;
    b.fun<first>(a, bb);
    b.fun<second>(a, bb);
    return 0;
}

Answer 1

问题是你不能创建一个总是接受两个固定类型参数的函数模板，并根据模板参数返回不同类型的对象。原因是你不能专门化模板函数，你只能重载它们，并且你不能仅仅通过返回类型使重载函数不同。

您可以使用SFINAE。这样，对于给定的模板参数，最多只能有一个函数：

class base {
public:
    template<typename T, typename = typename std::enable_if<std::is_same<T, first>::value>::type> 
    first fun(const string &s1, const string &s2) {
        return first(s1);
    }

    template<typename T, typename = typename std::enable_if<std::is_same<T, second>::value>::type> 
    second fun(const string &s1, const string &s2) {
        return second(s1, s2);
    }
};

或者，您可以将base模板化并专门化：

template<typename T> class base;

template<> class base<first> {
public:
    static first fun(const string &s1, const string &s2) {
        return first(s1);
    }
};

template<> class base<second> {
public:
    static second fun(const string &s1, const string &s2) {
        return second(s1, s2);
    }
};

base<first>::fun(a, bb);
base<second>::fun(a, bb);

Demo

错误：没有匹配函数调用second :: second，候选者是：second :: second（

1 个答案: