c++ - 用于检测模板特化的模板元函数

Question

受这个问题的启发，我想知道是否可以引入一些编译时检查来检测两个给定的模板实例：

template <typename T>
class Templ...

typedef Templ<std::string> stringInstance;
typedef Templ<double> doubleInstance;

是从相同的定义构造的，或者如果它们是从Templ模板的不同特化构造的

所以基本上假设的模板函数的行为是这样的：

template <typename T>
class Templ
{}

template <>
class Templ<std::string>
{}

template <>
class Templ<double>
{}

template <typename T1,typename T2>
class Belong_To_Same_Templ_Definition
{}

//tests
typedef Templ<std::string> stringInstance;
typedef Templ<double> doubleInstance;
typedef Templ<int> intInstance;
typedef Templ<char> charInstance;

assert( Belong_To_Same_Templ_Definition< intInstance , charInstance >::value == true);
assert( Belong_To_Same_Templ_Definition< intInstance , doubleInstance >::value == false);
assert( Belong_To_Same_Templ_Definition< stringInstance , doubleInstance >::value == false);

有可能创建这种元功能吗？

Answer 1

老实说，这似乎不太可能（尽管我不能明确排除狡猾的把戏）。

对于给定的专业化（在选择它的类型参数之外），没有一等身份可以比较。

因此，如果您愿意，您可以使其与您自己的模板一起使用，但您不能为现有模板编写临时推理。

还要考虑它无论如何都不起作用，因为它无法判断两个实例化是否具有兼容的布局：即使Templ<int>和Templ<char>是从相同的模板代码实例化的，没有专门化，该代码也可以使用特征类，它们是专业的。