c++ - 具有返回抽象类型的函数头是否合法？

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());

GCC 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.

任何试图做这种事情的代码都是错误的。