Как проверить во время компиляции, допустимо ли T& a = b внутри функции шаблона в C++? ⇐ C++

[Anonymous]

Я экспериментирую с универсальной функцией шаблона, выполняющей присваивание:

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

#include 
#include 

template
void foo(T& a, const T& b) {
a = b;
}

int main() {
using X = std::vector;
X v1, v2;
foo(v1, v2); // compilation error
}

• Функция foo просто выполняет a = b.
• Когда T имеет значение std::vector, компиляция завершается неудачно, поскольку std::unique_ptr не подлежит копированию.

Мой вопрос:

• Есть ли в стандарте C++ способ определить во время компиляции, будет ли a = b компилироваться для данного типа T внутри функции шаблона?
• Существуют ли известные методы или особенности, которые могут надежно проверять возможность копирования сложных типов, таких как std::vector с некопируемыми элементами? Кажется, std::is_copy_assignable, std::is_assignable не работает в таких случаях.

Я ищу метод, который не требует фактического выполнения присваивания, в идеале решение на основе признаков или концепций.

Подробнее здесь: https://stackoverflow.com/questions/798 ... unction-in