header 文件中 enable_if 的模板专业化

Question

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

Header:

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

你可以这样做

#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;
}

Answer 2

答案如下： .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;
}

p.s。我实际上已经尝试过类似的方法 - enable_if_t< typeid(String) == typeid(string), string > - 但它没有用

header 文件中 enable_if 的模板专业化

Specialization of a template with enable_if in header file

c++

templates

header

specialization

enable-if