头文件中带有 enable_if 的模板的特化

Question

所以我想做 2 个函数：一个用于数字（带模板），一个用于字符串。 这是我最好的尝试：

标题：

class myIO
{
public:

    template<class Arithmetic,
        class = enable_if_t< is_arithmetic_v <Arithmetic>>
    >
    static Arithmetic Input();

    template<>
    static string Input<string, void>();
};

cpp:

template<class Arithmetic, class>
static Arithmetic myIO::Input()
{
    Arithmetic x;
    //...
    return x;
}

template<>
static string myIO::Input<string, void>()
{
    string x;
    //...
    return x;
}

此实现有效，但如果我想将它与 string 一起使用，我必须使用 string x = myIO::Input<string, void>();

我希望能够只写<string> 而不是<string, void>

这可能吗？

Answer 1

答案如下： .h:

class myIO
{
public:

    template<class Arithmetic,
        class = enable_if_t< is_arithmetic_v <Arithmetic>>
    >
    static Arithmetic Input();

    template<class String,
        class = enable_if_t< is_same_v<String, string> >
    >
    static string Input();
};

.cpp:

template<class Arithmetic, class>
static Arithmetic myIO::Input()
{
    Arithmetic x;
    // doing something
    return x;
}

template<class String, class>
static string myIO::Input()
{
    string x;
    // doing something
    return x;
}

附言我实际上尝试过类似的方法 - enable_if_t< typeid(String) == typeid(string), string > - 但它没有用

Answer 2

你可以这样做

#include <iostream>
#include <string>
class A {
    public:
    template<typename T, typename U>
    static void func()
    {
        std::cout << "Do stuff\n";
    }

    template<typename T>
    static void func()
    {
        A::func<T, void>();
    }

};

int main()
{
    A::func<string>();
    return 0;
}