SFINAE 代码检测是否为某个类型实现了 operator<< 在 Clang 和 gcc 上的行为不同

Question

我只是在玩一些 SFINAE 代码，但我无法让它工作。我正在使用带有 -std=c++17 的 Xcode 12.2。Godbolt 表明，无论如何，Clang 确实会选择 false_type 变体，而如果两个模板参数相同并且实现了运算符，gcc 将使用 true_type 变体，正如我所期望的那样。请参阅下面的代码：

#include <iostream>
#include <type_traits>

struct MyStruct {};

std::ostream& operator<<(std::ostream& os, const MyStruct&) {
    return os;
}

template<typename T, typename U = void>
struct has_ostream_operator : std::false_type {};

template<typename T>
struct has_ostream_operator<T, typename std::enable_if_t<sizeof(std::declval<std::ostream&>() << std::declval<T>()), T>> : std::true_type {};

int main() {

    constexpr bool res = has_ostream_operator<MyStruct, MyStruct>::value;
    if constexpr(res) {
        std::cout << "Yes";
    } else {
        std::cout << "No";
    }
    return 0;
}

有人可以向我解释这里发生了什么以及为什么 Clang 和 gcc 的行为会有所不同吗？我已经使用不同的技术解决了这个问题，所以这仅用于教育目的:-)

Answer 1

如果将整个sizeof构造替换为42，则两个编译器都会给出一个错误，说明如何sizeof不是 abool且无法将范围缩小为 1。

如果将其替换为1，则不会出现错误（因为 1 显然可以缩小为true）。

考虑到这一点，让我们bool明确地传递一个：

template<typename T>
struct has_ostream_operator<
    T,
    typename std::enable_if_t<
        sizeof(std::declval<std::ostream&>() << std::declval<T>()) != 0,
//                                                                ^^^^^
        T
    >
> : std::true_type {};

现在可以了。

两种实现都给了我272for sizeof(std::declval<std::ostream&>() << std::declval<MyStruct>())，所以只是他们在 SFINAEness 期间以不同的方式处理这个错误。我认为这是GCC bug 57891。