模板类中模板方法专业化的clang自动返回类型错误？

Question

为了理解another question，我已经简化了示例，得到以下代码。

template <bool>
struct foo
 {
   template <typename T>
      auto bar (int i)
       { return i; }
 };

template <>
template <typename T>
   auto foo<true>::bar (int i)
    { return i; }

int main()
 {
   return 0;
 }

g++ 4.9.2 编译没有问题； clang++ 3.5 报如下错误

tmp_003-14,gcc,clang.cpp:12:20: error: out-of-line definition of 'bar' does not
      match any declaration in 'foo<true>'
   auto foo<true>::bar (int i)
                   ^~~

用int 替换两个auto 返回值之一，没有变化：g++ compile 和clang++ 给出错误。将auto 替换为int，错误消失。

template <typename T> 部分很重要，因为以下代码在两个编译器上都没有问题

template <bool>
struct foo
 {
      auto bar (int i)
       { return i; }
 };

template <>
   auto foo<true>::bar (int i)
    { return i; }

int main()
 {
   return 0;
 }

我的问题很明显：谁是对的？

g++ 还是 clang++？

我认为 g++ 是正确的，这是来自 clang++ 的错误，但我要求确认。

ps：对不起，我的英语不好。

Answer 1

我遇到了同样的问题，这里是solution。 除了您还应该考虑到仅从 C++14 起才允许隐式自动返回类型，因此您应该使用 -std=c++14 编译标志，或显式设置返回类型（对于 C++11）。

问题是 CLang 不能很好地匹配模板类的模板函数的特化。为了克服这个问题，你应该有一个空的模板类声明和单独的特化：

template <bool>
struct foo;

template <>
struct foo <false>
{
   template <typename T>
   auto bar (int i)
   { return i; }
};


template <>
struct foo <true>
{
   template <typename T>
   auto bar (int i)
   { return i; }
};

int main()
{
   return 0;
}