c++部分模板特化的问题

Problem with C++ Partial Template Specialization

本文关键字：问题 c++      更新时间：2023-10-16

我有一个类似的情况:

template<class A, class B>
class MyClass<A, B>
{
  ...
  static A RARELY_USED_A;
}
// Seems to work but does not cover all possible cases, since 
// there may be instances of A that have no numeric limits.
template<class A, class B>
A MyClass<A, B>::RARELY_USED_A= std::numeric_limits<A>::max();

从我看到的这似乎工作。然而，字符串在某些情况下可能被用作A，因此我认为我只需为这种特殊情况创建一个专门化。

// Does not complile
template<class B>
string MyClass<string, B>::RARELY_USED_A= "";

不幸的是，这不能正确地与错误消息一致:

error: template definition of non-template 'std::string MyClass<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, B>::RARELY_USED_A'

请注意，另一方面，完全专门化似乎可以工作(在运行时未测试但编译)

// This complies but is not gernic enough and hence useless to me
template<>
string MyClass<string, string>::RARELY_USED_A= "";

我想我一定是做错了什么。如果你能指出具体是什么，我将不胜感激。我以为特殊化应该是这样工作的。

提前谢谢你。

e:将DEFAULT_A的名称编辑为RARELY_USED_A，因为我认为"default"在某种程度上具有误导性

使用继承来重用和专门化，而无需复制所有公共代码:

template<typename A>
struct RarelyUsedShared
{
    static A RARELY_USED_A;
};
template<typename A>
A RarelyUsedShared<A>::RARELY_USED_A = std::numeric_limits<A>::max();
template<>
string RarelyUsedShared<string>::RARELY_USED_A = "";
template<typename A, typename B>
class MyClass<A, B> : RarelyUsedShared<A>
{
  ...
};

注意，这将导致在不同的B之间共享成员，如果成员应该是const，这是可以的。如果没有，帮助器可以接受两个模板参数，您可以对它进行部分专门化:

template<typename A, typename B>
struct RarelyUsedNotShared
{
    static A RARELY_USED_A;
};
template<typename A, typename B>
A RarelyUsedNotShared<A, B>::RARELY_USED_A = std::numeric_limits<A>::max();
template<typename B>
struct RarelyUsedNotShared<string, B>
{
    static A RARELY_USED_A;
};
typename<typename B>
string RarelyUsedNotShared<string, B>::RARELY_USED_A = "";
template<typename A, typename B>
class MyClass<A, B> : RarelyUsedNotShared<A, B>
{
  ...
};

您需要为整个类提供部分专门化，而不仅仅是单个成员。

如果你的RARELY_USED是const，你可以使用一个小的辅助类:

template <class A, class B>
const A MyClass<A, B>::RARELY_USED_A = Helper<A>::value;
/*...*/
#include <limits>
#include <string>
template <typename A> struct Helper { static const A RARELY_USED_A; };
template <typename A> const A Helper<A>::RARELY_USED_A = std::numeric_limits<A>::max();
template <> struct Helper<std::string> { static const std::string RARELY_USED_A; };
const std::string Helper<std::string>::RARELY_USED_A = "";
相关文章：