在签名中使用另一个成员模板函数的行外成员模板函数定义

问：

我在一些现实生活中的C++11代码中遇到了这个问题，但我把它归结为：

template<int i> struct Dummy {};

template<typename T>
struct Foo {
  template<int i> static constexpr int bar() { return i; }

  template<int i>
  static auto working() -> Dummy<bar<i>()>;

  template<int i>
  static auto also_working() -> Dummy<Foo<T>::template bar<i>()>;

  template<int i>
  static Dummy<Foo<T>::template bar<i>()> not_working();
};

template<typename T> template<int i>
auto Foo<T>::working() -> Dummy<bar<i>()> {
  return Dummy<bar<i>()>{};
}

template<typename T> template<int i>
auto Foo<T>::also_working() -> Dummy<Foo<T>::template bar<i>()> {
  return Dummy<bar<i>()>{};
}

template<typename T> template<int i>
Dummy<Foo<T>::template bar<i>()> Foo<T>::not_working() {
  return Dummy<bar<i>()>{};
}

我试图创建一个模板类的模板成员函数的行外定义，其中函数的签名涉及调用另一个模板成员函数，并从类似函数的东西开始。问题在于定义与声明不符。not_working()

Clang 说：

clang++ -Weverything -Wno-c++98-compat -Wno-c++98-compat-pedantic -Wno-padded -std=c++11   -c -o out_of_line.o out_of_line.cc
out_of_line.cc:28:42: error: out-of-line definition of 'not_working' does not match any declaration in 'Foo<T>'
Dummy<Foo<T>::template bar<i>()> Foo<T>::not_working() {
                                         ^~~~~~~~~~~

海湾合作委员会 说：

g++ -Wall -Wextra -pedantic -std=c++11   -c -o out_of_line.o out_of_line.cc
out_of_line.cc:28:34: error: prototype for ‘Dummy<bar<i>()> Foo<T>::not_working()’ does not match any in class ‘Foo<T>’
 Dummy<Foo<T>::template bar<i>()> Foo<T>::not_working() {
                                  ^~~~~~
out_of_line.cc:14:43: error: candidate is: template<class T> template<int i> static Dummy<Foo<T>::bar<i>()> Foo<T>::not_working()
   static Dummy<Foo<T>::template bar<i>()> not_working();
                                       ^~~~~~~~~~~

通过反复试验，我发现使用尾随返回类型，我可以获得与声明匹配的定义，从而产生函数。到达那里后，我意识到由于尾随返回类型的范围发生了变化，我可以取消一些名称限定，从而产生更漂亮的函数。also_working()working()

现在我想知道为什么该函数不起作用，即为什么它的定义与其声明不匹配（我可以对我找到的解决方案一无所知，但我可能会遇到更多此类问题，我不想浪费更多时间使用反复试验）;错误是在编译器中还是在我的代码中。我已经通读了 14.6 名称解析 [temp.res]，但我不确定适用于这种情况的规则。not_working()

澄清问题：给定 C++11 标准中的规则：

1. 定义是否应与声明相符？not_working()
2. 确定 1.？
3. 规则如何从 2.确定 1.？