10

假设我有这些模板别名：

enum class enabler {};

template <typename T>
using EnableIf = typename std::enable_if<T::value, enabler>::type;
template <typename T>
using DisableIf = typename std::enable_if<!T::value, enabler>::type;

我可以在 GCC 中执行以下操作：

#include <iostream>

template <typename T, EnableIf<std::is_polymorphic<T>> = {}>
void f(T) { std::cout << "is polymorphic\n"; }

template <typename T, DisableIf<std::is_polymorphic<T>> = {}>
void f(T) { std::cout << "is not polymorphic\n"; }

struct foo { virtual void g() {} };

int main() {
    f(foo {});
    f(int {});
}

它打印：

是多态
的 不是多态的

这符合我的期望。

使用clang，该代码无法编译。它会产生以下错误消息。

test.cpp:11:58: error: expected expression
template <typename T, EnableIf<std::is_polymorphic<T>> = {}>
                                                         ^
test.cpp:14:59: error: expected expression
template <typename T, DisableIf<std::is_polymorphic<T>> = {}>
                                                          ^
test.cpp:20:3: error: no matching function for call to 'f'
  f(foo {});
  ^
test.cpp:12:6: note: candidate template ignored: couldn't infer template argument ''
void f(T) { std::cout << "is polymorphic\n"; }
     ^
test.cpp:15:6: note: candidate template ignored: couldn't infer template argument ''
void f(T) { std::cout << "is not polymorphic\n"; }
     ^
test.cpp:21:3: error: no matching function for call to 'f'
  f(int {});
  ^
test.cpp:12:6: note: candidate template ignored: couldn't infer template argument ''
void f(T) { std::cout << "is polymorphic\n"; }
     ^
test.cpp:15:6: note: candidate template ignored: couldn't infer template argument ''
void f(T) { std::cout << "is not polymorphic\n"; }
     ^
4 errors generated.

它应该编译吗？两个编译器哪个有问题？

4

1 回答 1

7

首先，感谢@Richard Smith在 oftc 的#llvm IRC 频道上的解释。
不幸的是，这不是合法的 C++，因此 Clang 是正确的：{}不是表达式，而是花括号初始化列表，因此永远不会是非类型模板参数的初始化程序所需的常量表达式。

§14.3.2 [temp.arg.non-type] p1

非类型、非模板模板参数的模板参数应为以下之一：

  • 对于整数或枚举类型的非类型模板参数，模板参数类型的转换常量表达式（5.19）；或者
  • [...]

一种解决方案是enabler.

于 2012-04-16T20:54:15.630 回答