相关疑难解决方法(0)

下面的代码使用gcc和MSVC进行编译,但是使用clang我用clang-3.5和当前主干测试失败了.

template <typename T>
constexpr auto wrong = false;

template <typename T>
constexpr auto foo(const T t) -> int
{
  static_assert(wrong<T>, "");
  return {};
}

using F = decltype(foo(1));

int main() {}

clang实例化函数体并绊倒了static_assert.gcc和MSVC只是查看函数声明并忽略static_assert正文.

如果删除constexpr,所有编译器都可以编译代码.

问题:
如果声明了返回类型,是否允许decltype查看函数体？

我正在寻找标准中相应部分的参考.