什么时候类型相等（模板特化）？

Question

我将配置存储为类型：

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

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

template <class CONFIG>
MyClass;

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

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

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

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

问题是：

Answer 1

CONFIG1和CONFIG3是同一类型。如果有疑问，可以用std::is_same

来验证

Answer 2

CONFIG1和CONFIG2是不同的模板实例化，CONFIG1和CONFIG3不是（假设a，b，c 与 x、y、z).

完全不同

Which specialization will be taken for CONFIG1 and CONFIG3, or: When is a type equal? Is it it's name or it's actual content?

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

If it's the actual content, how can I achieve that CONFIG1 and CONFIG3 actually invoke different specializations?

你不能，typedef 只是提供别名而不是新类型。

使用（空的）公共继承 class，实际创建一个新类型。

Answer 3

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

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

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

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

When is a type equal (template specialization)?