在泛型lambda中使用“if constexpr”访问成员类型需要两个分支都是格式良好的-gcc与clang

struct

struct foo { using x = int;   };
struct bar { using y = float; };

给定 T 在一个 template T::x 或 T::y T 是:

template <typename T>
auto s()
{
    auto l = [](auto p) 
    {
        if constexpr(p) { return typename T::x{}; }
        else            { return typename T::y{}; }
    };

    return l(std::is_same<T, foo>{});
}

int main() 
{ 
    s<foo>(); 
}

g++ clang++ 产生此错误:

error: no type named 'y' in 'foo'
        else            { return typename T::y{}; }
                                 ~~~~~~~~~~~~^
note: in instantiation of function template specialization 's<foo>' requested here
    s<foo>();
    ^

on godbolt.org , with conformance viewer

叮当声++ 错误地拒绝此代码?

叮当声++ l :

template <typename T>
auto s()
{
    if constexpr(std::is_same<T, foo>{}) { return typename T::x{}; }
    else                                 { return typename T::y{}; }
}