c++ - 这个模板到底检查了什么？

Question

我正在研究这段代码:

#include <type_traits>

template<typename T, typename T2>
constexpr bool Assignable = std::is_assignable<T&,T2>::value;

template<typename T>
void test() {
    static_assert(Assignable<T, std::string>, "hello1");
    static_assert(Assignable<T&, std::string>, "hello2");
}

int main()
{
    test<int>();
}

我想知道什么static_assert(Assignable<T&, std::string>, "hello2");检查到底？

自 Assignable已经使用 T&里面，打电话static_assert(Assignable<T, std::string>, "hello1");应该检查是否引用类型 T可分配给 std::string .我想知道什么T&里面static_assert(Assignable<T&, std::string>, "hello2");是吗？

问候

Answer 1

由于reference collapsing rules ，这个:

static_assert(Assignable<T&, std::string>, "hello2");

在逻辑上等同于这样的代码:

static_assert(Assignable<T, std::string>, "hello2");

为什么？长话短说 - 对左值引用的左值引用折叠为左值引用。