在C 14中使用自动返回“type”进行显式模板专门化是否有效？

Question

上一个问题。

我重复上一个问题的代码，使这个问题变得独立。如果使用gcc 4.8.3编译以下代码，则不会发出任何警告。带有-std=c1y。但是，如果使用-std=c0x标志编译，它会发出警告。在上一个问题的上下文中，有人指出，代码不是使用gcc 4.9.0编译的。不幸的是，目前我并不完全理解auto是如何实现的。因此，如果有人能回答以下问题，我将不胜感激：

1). 就C 14标准而言，以下代码是否有效？

2). 如果是的话，这个代码会被认为是一个好的风格吗？如果没有，为什么没有？

3）。为什么下面的代码在使用C 11编译器时编译和工作（有时）？或者，为什么它不总是工作？是否有任何特定的标志/选项/设置可以阻止它工作？

template<int N> auto getOutputPort2();
template<> auto getOutputPort2<0>();
template<> auto getOutputPort2<1>();

template<>
auto getOutputPort2<0>()
{
    return std::unique_ptr<int>(new int(10));
}

template<>
auto getOutputPort2<1>()
{
    return std::unique_ptr<string>(new string("qwerty"));
}

Answer 1

1). 就C 14标准而言，以下代码是否有效？

是的，据我所知。这有时有点难以证明，因为通常没有什么东西能阻止它。然而，我们可以看看最近的草案（N4296之后）中的一个例子，[dcl.spec.auto]/13：

template <typename T> auto g(T t) { return t; } // #1
template auto g(int);                           // OK, return type is int
template char g(char);                          // error, no matching template
template<> auto g(double);                      // OK, forward declaration with
                                                // unknown return type

同一段规定：

使用占位符类型的声明返回类型的函数或函数模板的重新声明或特化也应使用该占位符，而不是推导类型。

因此，函数模板的显式专门化必须使用返回类型推断。我找不到任何东西禁止不同专业的不同退货类型。类似地，在C 98中，通过使返回类型依赖于模板参数，可以实现函数模板专门化（同一主模板）的不同返回类型。通过使用元编程，基本上可以实现与使用返回类型推断为不同的专门化指定不相关的返回类型时相同的效果。

3). 为什么下面的代码似乎使用C 11编译器编译和工作（有时）？

OP中的代码在C 11中格式错误。普通函数（非lamdas）的返回类型推导是C 14中引入的一项功能。包含此代码片段的程序格式错误。但是，标准并未强制实现（编译器）必须拒绝格式错误的程序。它仅在[intro.compliance]/2.2中声明：

如果程序包含违反任何可诊断规则[...]，符合要求的实现应发出至少一条诊断消息。

8月份

符合标准的实现可以具有扩展（包括附加的库函数），前提是它们不会改变任何格式良好的程序的行为。根据本国际标准，需要实现来诊断使用此类扩展的程序是否格式错误。但是，这样做后，他们可以编译和执行此类程序。

（因此，实现可以接受此程序作为扩展。）

g 4.8.3发出警告，作为诊断信息。G4.9发出错误，这也是一条诊断信息。两者都是顺从的。通过指定-Werror，您可以告诉G4.8.3拒绝该程序。（你必须问问gcc开发人员，他们为什么将警告改为错误。）