c++ - 什么时候类型相等(模板特化)？

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