输入trait以检查类型是否可从流和MSVC中读取

最近我遇到了讨论is_streamable类型特征的问题.所以我决定实现我自己的版本并提出下一个解决方案来检查是否可以读取类型std::istream:

template
struct is_readable_from_stream_impl
    : std::false_type {};

template
struct is_readable_from_stream_impl() >> std::declval())>>
    : std::true_type {};

template
struct is_readable_from_stream :
    is_readable_from_stream_impl {};

template
inline constexpr auto is_readable_from_stream_v = is_readable_from_stream::value;

到现在为止还挺好.我添加了一个重载的自定义结构operator>>:

struct readable {};

std::istream& operator>>(std::istream& is, readable&)
{
    return is;
}

并测试了类型特征:

static_assert(is_readable_from_stream_v);
static_assert(!is_readable_from_stream_v);

该检查用均通过gcc 8.2和clang 6.0.0,但MSVC 拒绝第二个断言.

我想知道我的实现(或测试)是否不正确或者是另一个问题MSVC.

这里的问题是MSVS可以将rvalues绑定到lvalue-references作为语言扩展.以下代码编译:

struct readable{ };

void foo(readable&)
{ }

void bar()
{
    foo(readable{});
}

使用可以使用/Za选项(禁用语言扩展)来禁用它.然后你的断言将被传递.