c++ - 为什么 std::is_assignable 不适用于原始类型？ (确认)

Question

更具体的原因 std::is_assignable_v<int, int> << '\n';返回 false ？是因为 int 没有重载的赋值运算符(是原始类型和所有类型)吗？

(顺便说一句 std::is_trivially_assignable_v<int, int> 也给出了 false。)

请注意: struct Structure {};
std::is_assignable<class Structure, class Structure>::value;会返回 true ，因为为 Structure 隐式定义了重载赋值运算符.

到目前为止，我是否正确？如果是这样，那么我认为增强 is_assignable 并非易事也接受原始类型？否则，对于这种可能的解决方法有什么提示吗？

Answer 1

安int不能分配给 int .如果你通过 int&作为第一个参数，然后，正如预期的那样，is_assignable和 is_trivially_assignable返回 true .

cppreference , godbolted

#include <type_traits>

int main()
{
    static_assert(!std::is_assignable_v<int, int>);
    static_assert(std::is_assignable_v<int&, int>);
    static_assert(!std::is_trivially_assignable_v<int, int>);
    static_assert(std::is_trivially_assignable_v<int&, int>);

    return 0;
}

一个不太直观的部分 — is_assignable_v<mytype, mytype>是真的是因为mytype{} = mytype{};也可以，而且只有 is_assignable_v<mytype const, mytype>是假的。