Концепция или черта для проверки для инициализации копирования ⇐ C++

[Anonymous]

Я хотел бы проверить, как и если объект типа А может быть построен из объекта типа B.

я также хочу различить прямое и инициализацию и, таким образом, написал эти концепции : < /p>

Код: Выделить всё

template
concept can_direct_init_from = requires { A{std::declval()}; };
template
concept can_copy_init_from = requires { A a = std::declval(); };
< /code>
Первый, я думаю, строго эквивалентен std :: constructible_from < /code>, но я не знаю аналогичную концепцию для случая инициализации копирования.

std::convertible_to

, похоже, не используется для инициализации копирования (в соответствии с соответствующими признаками, она эквивалентна тестированию static_cast от b до ).
Помимо моей версии плохо сформирована: < /p>

Ошибка: ожидаемая первичная экспрессия до 'a' < /p>
< /blockquote>
afau, я не могу «объявить» переменную внутри `Требуется предложение. "? Возможно, исправляя мою концепцию?

Подробнее здесь: https://stackoverflow.com/questions/794 ... ialization