关于其他答案：我们在这里明确处理n3638，以及它是如何合并到最近的 C++1y 草案中的。
我正在使用来自commitee's github repository 的 9514cc28，它已经包含对 n3638 的一些（次要）修复/更改。
n3638 明确允许：
struct A {
auto f(); // forward declaration
};
auto A::f() { return 42; }
而且，正如我们可以从 [dcl.spec.auto] 中推断的那样，在指定此功能的地方，甚至以下内容也是合法的：
struct A {
auto f(); // forward declaration
};
A x;
auto A::f() { return 42; }
int main() { x.f(); }
（稍后会详细介绍）
>
这与任何 trailing-return-type 或从属名称查找根本不同，因为auto f(); 是一个初步声明，类似于struct A;。它需要稍后完成，在使用之前（在需要返回类型之前）。
此外，OP 中的问题与内部编译器错误有关。最近的 clang++3.4 主干 192325 Debug+Asserts 编译失败，因为在解析行 return L.b_ == R.b_; 时断言失败。到目前为止，我还没有检查过最新版本的 g++。
OP 的示例对 n3638 是否合法？
这对 IMO 来说有点棘手。 （在本节中，我总是指 9514cc28。）
1。什么地方可以使用`auto`？
[dcl.spec.auto]
6 在本节未明确允许的上下文中使用 auto 或 decltype(auto) 的程序是格式错误的。
2 占位符类型可以在 decl-specifier-seq、type-specifier-seq、conversion-function-id 或 trailing-return-type，在此类声明符有效的任何上下文中。
/5 还定义了一些上下文，但它们在这里无关紧要。
因此，auto func() 和 auto operator@(..) 通常是允许的（这源于 T D 的函数声明的组合，其中 T 的形式为 decl-specifier-seq , 而auto 是一个类型说明符）。
2。是否允许写`auto func();`，即不是定义的声明？
[dcl.spec.auto]/1 说
auto 和decltype(auto) type-specifiers 指定一个占位符类型，稍后将被替换，可以通过初始化器的推导或通过带有 trailing-return- 的显式规范输入。
和/2
如果函数声明的返回类型包含占位符类型，则函数的返回类型是从函数体中的return语句推导出来的。
虽然它明确 不允许函数像 auto f(); 这样声明（即没有定义的声明），但从 n3638 和 [dcl.spec.auto]/ 中可以清楚地看到11 它是被允许的，而不是明确禁止的。
3。朋友功能呢？
到目前为止，示例
struct A
{
int a_;
friend auto operator==(A const& L, A const& R);
}
auto operator==(A const& L, A const& R)
{ return L.a_ == R.a_; }
应该格式正确。现在有趣的部分是A的定义里面的friend函数的定义，也就是
struct A
{
int a_;
friend auto operator==(A const& L, A const& R)
{ return L.a_ == R.a_; } // allowed?
}
在我看来，这是允许的。为了支持这一点，我将引用名称查找。在友元函数声明中定义的函数定义中的名称查找遵循 [basic.lookup.unqual]/9 中的成员函数的名称查找。同一节的 /8 指定了对成员函数体内使用的名称的非限定查找。可以声明使用名称的一种方式是，它“应为X 类的成员或X (10.2) 基类的成员”。这使得广为人知的
struct X
{
void foo() { m = 42; }
int m;
};
注意m 在foo 中使用之前未声明，但它是X 的成员。
由此得出结论，即使
struct X
{
auto foo() { return m; }
int m;
}
是允许的。这是由 clang++3.4 主干 192325 支持的。
名称查找需要在 struct 完成后解释此函数，还可以考虑：
struct X
{
auto foo() { return X(); }
X() = delete;
};
同样，类中定义的友元函数体只能在类完成后才能解释。
4。模板呢？
具体来说，friend auto some_function(B const& L) { return L.b_; }呢？
首先，injected-class-name B 等价于 B<T>，参见 [temp.local]/1。它指的是当前实例化 ([temp.dep.type]/1)。
id 表达式 L.b_ 指的是当前实例化的成员 (/4)。它也是当前实例化的依赖成员——这是在 C++11 之后添加的，参见 DR1471，我不知道该怎么想：[temp. dep.expr]/5 声明这个 id-expression 是 not 类型相关的，据我所知 [temp.dep.constexpr] 并没有说它的价值-依赖。
如果L.b_ 中的名称不依赖，则名称查找将遵循每个 [temp.nondep] 的“常用名称查找”规则。否则，这会很有趣（依赖名称查找没有很好地指定），但考虑到这一点
template<class T>
struct A
{
int foo() { return m; }
int m;
};
也被大多数编译器所接受，我认为带有auto 的版本也应该是有效的。
[temp.friend] 中还有一个关于模板好友的部分，但 IMO 并没有说明此处的名称查找。
另见this highly relevant discussion in the isocpp-forum。