Question

我不明白为什么以下代码无法编译。我使用GCC和Clang得到了同样的错误。有人可以解释或指出可以解释为什么p1和p2不是同一类型的标准的一部分吗？

struct TypeT {};

struct TypeU {};

template<typename T, typename U = TypeU>
struct Foo {};


template<typename T, typename U>
struct Bar
{
};

template<typename T, template <typename> class U>
struct FooBar
{
};

template<typename T>
using FooAlias1 = Foo<T>;

template<typename T>
using FooAlias2 = Foo<T>;

template<typename T>
void DoStuff(const T& p1, const T& p2)
{
}

int main(void)
{
    FooBar<TypeT, FooAlias1> p1;
    FooBar<TypeT, FooAlias2> p2;
    DoStuff(p1, p2);
}

这是gcc：

的输出

$ gcc --version
gcc (Ubuntu 4.8.4-2ubuntu1~14.04.3) 4.8.4

$ gcc -std=c++11 test.cpp
test.cpp: In function ‘int main()’:
test.cpp:34:19: error: no matching function for call to ‘DoStuff(FooBar<TypeT, FooAlias1>&, FooBar<TypeT, FooAlias2>&)’
     DoStuff(p1, p2);
                   ^
test.cpp:34:19: note: candidate is:
test.cpp:26:6: note: template<class T> void DoStuff(const T&, const T&)
 void DoStuff(const T& p1, const T& p2)
      ^
test.cpp:26:6: note:   template argument deduction/substitution failed:
test.cpp:34:19: note:   deduced conflicting types for parameter ‘const T’ (‘FooBar<TypeT, FooAlias1>’ and ‘FooBar<TypeT, FooAlias2>’)
     DoStuff(p1, p2);

并且clang：

$ clang --version
Ubuntu clang version 3.4-1ubuntu3 (tags/RELEASE_34/final) (based on LLVM 3.4)

$ clang -std=c++11 test.cpp
test.cpp:34:5: error: no matching function for call to 'DoStuff'
    DoStuff(p1, p2);
    ^~~~~~~
test.cpp:26:6: note: candidate template ignored: deduced conflicting types for parameter 'T' ('FooBar<[...], template FooAlias1>'
      vs. 'FooBar<[...], template FooAlias2>')
void DoStuff(const T& p1, const T& p2)
     ^
1 error generated.

Answer 1

根据规范§14.4，两种类型是等效的，如果......

- 它们对应的模板模板参数引用相同的模板。

但是你有两个不同的别名模板（§14.5.7）。它们不是类型别名。

声明为别名声明（第7条）的模板声明声明标识符   是一个别名模板。别名模板是一系列类型的名称。别名模板的名称是a   模板名称。

C ++类别名不会编译为相同类型

1 个答案: