Question

我有一个trait类，将类型与整数值相关联。

struct traits
{
  private:
    template<int ID> struct type_impl {};
    template<> struct type_impl<1> { using type = int; };
    // ...

  public:
    template<int ID> using type = typename type_impl<ID>::type;

};

我正在编写一个模板函数，该函数的返回类型由上面的traits类提供，并且专门针对各种int值：

  template<int ID> traits::type<ID> function();
  template<> inline traits::type<1> function<1>() { return 42; };
  // ...

这可以在VS2015上正常编译（请参见https://godbolt.org/z/LpZnni），而在抱怨以下内容的VS2017上不能编译：

错误C2912：显式专业化'int function <1>（void）'不是功能模板的专业化

令我惊讶的是，声明了一个非模板函数，如下所示：

traits::type<1> other_function();

公开traits::type_impl解决了编译问题，但是我不明白为什么。对我来说，other_function的专业化和声明都应使用traits::type_impl私有或不进行编译。

谢谢您的帮助。

根据@rubenvb的评论进行的进一步调查 我了解我发布的代码是非法的，因此我尝试进行部分专业化（我认为这是合法的）：

struct traits
{
  private:
    template<int ID,bool=true> struct type_impl {};
    template<bool B> struct type_impl<1,B> { using type = int; };
    // ...

  public:
    template<int ID> using type = typename type_impl<ID>::type;

};

template<int ID> traits::type<ID> function();
template<> inline traits::type<1> function<1>() { return 42; };

现在，每个编译器都很高兴，但是VS2017仍然希望traits::type_impl公开。我想这是Visual Studio的错误。

Answer 1

您有此代码

struct traits
{
  private:
    template<int ID> struct type_impl {};
    template<> struct type_impl<1> { using type = int; }; // HERE

  public:
    template<int ID> using type = typename type_impl<ID>::type;
};

template<int ID> traits::type<ID> function();
template<> inline traits::type<1> function<1>() { return 42; };

标记为//HERE的行包含一个类内模板专门化。在C ++中这是非法的。

我们从中学到的是，当涉及模板时，Visual Studio会显示可怕的错误消息。万一问题没有立即解决，请参阅另一位编译器所说的内容。不同的编译器经常指向不同的问题或以不同的方式谈论它们，这至少可以为实际问题的起源提供一个很好的提示。

英特尔编译器shows this：

error: explicit specialization is not allowed in the current scope
  template<> struct type_impl<1> { using type = int; };
  ^

海湾合作委员会shows this：

error: explicit specialization in non-namespace scope 'struct traits'
    5 |     template<> struct type_impl<1> { using type = int; };
      |              ^

C doesn't seem to mind出于某种原因。这似乎是一个错误。

为什么我的功能模板特化被VS2017而不是VS2015拒绝？

1 个答案: