给定类型时，我可以设置结构以“使用”类型吗？ ('非模板结构的显式特化')

Question

我有以下结构，其中有许多具有不同的“输入”和“输出”类型。

#include <string>

template <>
struct Corresponding<const char*> {
    using CorrespondingT = std::string;
};

这会导致错误：

explicit specialization of non-template struct
      'Corresponding'
        template <> struct Corresponding<const char*> { using Correspond...

这应该可以用作Corresponding<T>::CorrespondingT，在这种情况下，T 可以是const char*，但也可以是其他类型，例如添加更多类型，例如

template <>
struct Corresponding<int> {
    using CorrespondingT = boost::multiprecision::cpp_int;
};

然后

template <typename T> using GetCorresponding = typename Corresponding<T>::CorrespondingT;

让我相信这会奏效的来源：https://en.cppreference.com/w/cpp/utility/hash、https://en.cppreference.com/w/cpp/types/remove_reference。

还有其他问题与此相同的错误，但他们似乎在尝试不同的事情，使它们在这里不相关。

我正在使用 gnu++2a。

Answer 1

您只是忘记声明主模板。

#include <string>

// You need this
template <typename T>
struct Corresponding;

template <>
struct Corresponding<const char*> {
    using CorrespondingT = std::string;
};

没有它，正如错误所说，Corresponding 不是类模板（或者实际上是任何东西），所以不能为它定义专业化。

不要查找有关 std::hash 和 std::remove_reference 等不相关事物的参考资料，而是查看 C++ 书中有关模板专业化的章节。