Переместить или скопировать – основные составители не согласны, кто прав? ⇐ C++

[Anonymous]

Приведенный ниже класс представляет собой оболочку, которая хранит либо ссылку на lvalue, либо копию rvalue. Последний либо копируется, либо перемещается в зависимости от специализации.

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

template
struct fwd_or_copy_wrapper
{
fwd_or_copy_wrapper(T&& t): _t(FWD ? std::forward(t) : std::add_const_t(t)) {}
private:
T _t;
};

Руководство по выводу, не требуется для gcc, но требуется для MSVC и не компилируется в clang.

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

template
fwd_or_copy_wrapper(T&& t) -> fwd_or_copy_wrapper;

Две специализации псевдонимов: первая выполняет перемещение, а вторая — копирование:

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

template
using fwd_wrapper = fwd_or_copy_wrapper;

template
using copy_wrapper = fwd_or_copy_wrapper;

Вывод Gcc — это то, что я ожидал здесь: ссылка привязки для lvalue, а затем либо вызов copy-ctor, либо move-ctor для rvalue.
Но вывод MSVC неожиданный. Он не только выполняет лишние вызовы copy-ctor, но и копирует вместо перемещения для fwd_wrapper.
Демо находится здесь
Три вопроса:

• это ошибка в том, что clang не может скомпилировать руководство по дедукции?
• Это ошибка в том, что MSVC генерирует копию вместо перемещения, или здесь происходит что-то еще?
• как изменить класс-оболочку, чтобы все три компилятора работали правильно?

Подробнее здесь: https://stackoverflow.com/questions/790 ... whos-right