我可以对类模板的功能模板成员进行单独的定义？

Question

这是一个最小的代码示例，可以显示我正在尝试的工作，但不是我想要的：

#include <string>
#include <type_traits>
#include <iostream>
struct string_tag {
    using R=const std::string;
};

struct int_tag {
    using R=const int;
};

template <bool TS>
class Wibble {
    public:
    template<typename TAG>
    typename TAG::R getValue(TAG);
};

template <bool TS>
template <typename TAG>
typename TAG::R Wibble<TS>::getValue(TAG) {
    if constexpr (std::is_same<TAG, string_tag>::value) {
        return "hello";
    }
    
    if constexpr (std::is_same<TAG, int_tag>::value) {
        return 42;
    }
}

// instantiate classes
template class Wibble<true>;
template class Wibble<false>;

int main () {
    Wibble<true> tw;
    Wibble<false> fw;
    std::cout << "tw string: " << tw.getValue(string_tag{}) << std::endl;
    std::cout << "tw int: " << tw.getValue(int_tag{}) << std::endl;
    std::cout << "fw string: " <<fw.getValue(string_tag{}) << std::endl;
    std::cout << "fw int: " << fw.getValue(int_tag{}) << std::endl;
}

示例在Godbolt中，这里

我要更改的部分是所有constexpr逻辑的丑陋函数模板定义。我希望能够在tag独立的情况下定义不同的专业，但是这样做可以使我重新定义... errors。

语法像以下内容一样好：

template<bool TS>
template<>
string_tag::R Wibble<TS>::getValue(string_tag) {
  return "hello";
}

但是计算机说“不”。

Answer 1

我想到了一个想法，阅读语言规格等。我想到了以下内容：

1. 类模板必须专业化才能专门化会员函数模板。时期。这不能用概念克服，或者至少我还没有找到方法。我想您不想为每种TS复制代码。也许可以使用一些Alexandrescu风格的元编程技术自动完成，但是我想不到任何事情。

2. 超载而不是模板是一个不错的选择，但我猜您希望能够添加它们，而不是在班级内部...

3. 选择可以通过另一个间接级别来解决计算机科学。”因此，让我们加一个：

namespace detail
{
template<typename TAG> auto getValue(TAG);

template<>
auto getValue<string_tag>(string_tag)
{
    return "hi";
}


template<>
auto getValue<int_tag>(int_tag)
{
    return 42;
}

template<>
auto getValue<double_tag>(double_tag)
{
    return 1324.2;
}

}

template<bool TS>
template<typename TAG>
auto Wibble<TS>::getValue(TAG t)
{
    return detail::getValue(t);
}

“ noreferrer”> https://godbolt.org/z/gspk4mp8m
希望它有帮助。