libstdc++实现std::declval的问题

Question

与libc++或MSVC-STL只声明std::declval的函数签名不同，libstdc++为std::declval定义了函数体，并在内部使用static_assert以确保它必须在未计算的上下文中使用：

template<typename _Tp, typename _Up = _Tp&&>
_Up 
__declval(int);

template<typename _Tp>
_Tp 
__declval(long);

template<typename _Tp>
auto 
declval() noexcept -> decltype(__declval<_Tp>(0));

template<typename _Tp>
struct __declval_protector {
  static const bool __stop = false;
};

template<typename _Tp>
auto 
declval() noexcept -> decltype(__declval<_Tp>(0)) {
  static_assert(__declval_protector<_Tp>::__stop,
    "declval() must not be used!");
  return __declval<_Tp>(0);
}

当我们试图计算std::declval的返回值时，将触发这个static_assert：

auto x = std::declval<int>(); // static assertion failed: declval() must not be used!

但是我发现在这个实现中，由于static_assert失败(哥德波特)，下面的代码也会被拒绝：

#include <type_traits>

template<class T>
auto type() { return std::declval<T>(); }

using T = decltype(type<int>());

但是，似乎std::declval仍然在未评估的上下文中使用，因为我们还没有对它进行实际评估。

以上代码格式良好吗？如果是的话，它是库实现错误吗？标准是如何指定这一点的？

Answer 1

该示例格式不正确，因为对std::declval的限制实际上是在命名declval的表达式上，而不是在抽象虚拟机是否实际计算其调用上。

对std::declval的要求是[解密].2

授权:此功能不是odr使用的(basic.def.odr)。

“任务”的意思是([structure.specifications]/(3.2))

任务规定:如果不满足的条件，就会使该项目不符合规定.

在[basic.def.odr]/7中

如果一个函数是通过一个潜在的计算表达式或转换来命名的，它就会被odr使用.

在[basic.def.odr]/2中

表达式或转换可能被评估，除非它是未计算的操作数(expr.prop)，其子表达式，或在这样的上下文中的初始化或转换序列中的转换。

注意，最后一行中的表达式type<int>()是一个未计算的操作数。但是，在实例化的type定义中的不同表达式type可能会被计算出来。忽略这一点并不重要，它实际上不会被评估。

因此，实际上libc++和MSVC的实现是不正确的，因为除非另有说明，否则应该诊断不正确的程序。