Имеет ли заголовок функции, возвращающий абстрактный тип права?

Question

мне было интересно в следующем было законным в соответствии со стандартом C++:

struct Abstract { virtual ~Abstract() = 0; }; 

auto get_type() -> Abstract; 

// I use `get_type` only to extract the return type. 
using MyType = decltype(get_type()); 

НКУ 6,3 принять его, но Clang 3,9 отклонить его.

Однако, если я делаю это вместо:

auto get_type() -> struct Abstract; 

struct Abstract { virtual ~Abstract() = 0; }; 

using MyType = decltype(get_type()); 

Теперь и компилятор принимает его. Они оба ошибаются в этом случае?

Answer 1

В [class.abstract], довольно прямолинейно:

An abstract class shall not be used as a parameter type, as a function return type, or as the type of an explicit conversion.

Любой код, который пытается сделать такую ​​вещь плохо сформированным.