这段代码实际上是有效的：
class Abstract {
virtual auto foo() -> int = 0;
};
class Concrete: public Abstract {
int foo() { cout << "blah!" << endl; return 1; }
} instance;
解决方法
auto foo() – > int和int foo()是用不同的语法表示的相同的原型,所以第二个函数是第一个的覆盖,并且将在通常的运行时调度(虚拟)中替换它.
右边的返回语法通常有另一个目的,就像
template<class A,class B> auto some_combination(A a,B b) -> decltype(a+b);
否则需要更复杂的语法
temlate<class A,class B> decltype(std::declval<A>()+std::declval<B>()) some_combination(A a,B b);
因为a和b在原型的左侧没有定义.
当返回类型被简单定义时,左侧或右侧的位置基本上是无关紧要的.
