3

我有类似的情况：

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，因为我认为“默认”在某种程度上具有误导性

4

3 回答 3

4

使用继承来重用和专门化，而不复制所有通用代码：

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>
{
  ...
};
于 2011-07-14T17:05:23.597 回答
1

您需要对整个班级进行部分专业化，而不仅仅是单个成员。

于 2011-07-14T16:56:34.393 回答
0

如果你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 = "";
于 2011-07-14T17:08:09.507 回答