0

Почему следующая программа выводит 1 0, хотя вроде бы одинаковые проверки?

#include <iostream>
#include <type_traits>


int main() {
    std::cout << std::is_copy_assignable<int>() << std::endl << std::is_assignable<int, int>();
}
1
  • "вроде бы одинаковые" != "одинаковые" 8 ноя 2018 в 17:59

1 ответ 1

0

std::is_assignable<int, int> проверяет(без выполнения), будет ли корректным выражение

::std::declval<int>() = ::std::declval<int>()
int x{}; int y{}; ::std::move(y) = ::std::move(x); // не работает

Это выражение некорректно, так как слева должно быть l-value

А std::is_copy_assignable<int>() выдает результат аналогичный

::std::is_assignable<int &, int const &>
::std::declval<int &>() = ::std::declval<int const &>()
int const x{}; int y{}; y = x; // работает

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.