什么时候是一个类型相等（模板专业化）？

Question

我存储的配置作为类型：

using CONFIG1 = Config<x, y, z>; 
using CONFIG2 = Config<a, b, c>; 
using CONFIG3 = Config<x, y, z>; 

对于每个配置，有一类模板专业化，做一些更多的配置工作：

template <class CONFIG> 
MyClass; 

template <> 
MyClass<CONFIG1>{...} 

template <> 
MyClass<CONFIG2>{...} 

template <> 
MyClass<CONFIG3>{...} 

现在，如你所见，CONFIG1恰巧具有与CONFIG3相同的定义。

的问题是：

1. 哪个专业化将采取CONFIG1和CONFIG3，或：当是一种平等的吗？是它的名字还是它的实际内容？

2. 如果是实际内容，我如何才能实现CONFIG1和CONFIG3实际调用不同的专业化？

Answer 1

CONFIG1和CONFIG3是同一类型，因此您的专业化将失败，

error: redefinition of 'struct MyClass<Config<x, y, z> >' 
struct MyClass<CONFIG3>{}; 

您可以使用继承来创建一个新的类型：

using CONFIG1 = Config<x, y, z>; 
struct CONFIG3 : CONFIG1{}; 

活生生的例子：https://ideone.com/4GrlaW

Answer 2

CONFIG1和CONFIG3是相同的类型。如果你怀疑，你可以验证与std::is_same

Answer 3

CONFIG1和CONFIG2是不同的模板实例，CONFIG1和CONFIG3不（应该a，b，c来自x，y，z所有不同）。

1. 哪个专业化将采取为CONFIG1和CONFIG3，或：当是一种类型等于？它是名字还是实际内容？

CONFIG1和CONFIG3相等的类型。命名typedef是无关紧要的。

如果它的实际内容，我怎么能做到这一点CONFIG1和CONFIG3实际调用不同专业？

你不能，typedef只是提供别名没有真正的新类型。

使用（空）公开继承的类来实际创建新类型。