为什么在这种情况下 decltype 行为与使用 libstdc++ 的正常表达式不同？

Question

我发现decltype 内部的表达式处理成功，而decltype 外部的相同表达式给出错误：see on Godbolt。

我正在检查给定类型 (operator <<) 是否存在输出到流的过载 - 通过使用 decltype 和类型特征。但是对于来自 GCC decltype 的 libstdc++，即使在没有这种重载的情况下也会返回正确的类型。

我用 libc++ 尝试了 Clang - 没有这样的问题。试过 GCC 7.1 - 没问题。但是，如果我尝试使用 GCC

基本上：

class Foo {};

...

decltype(std::declval<std::ostringstream>() << std::declval<Foo>()) // gives std::ostringstream&

...

Foo foo;
std::ostringstream out;
out << foo; // gives an error (as it should, there is no overload for Foo)

那么，为什么会这样，libstdc++ 出了什么问题？

Answer 1

std::declval<std::ostringstream&>() << std::declval<T const &>()
//                             ^                     ^^^^^^^^

价值类别很重要。您正在测试将const T 左值流式传输到ostringstream 左值的能力。

在您的原始代码中，<< 解析为右值流的until-recently-unconstrained << 重载。没有约束，表达式总是格式良好的。