相关疑难解决方法(0)

(如果您是C++ 11专业版,请跳到粗体段.)

假设我想编写一个模板方法,该方法调用并返回传递对象的结果,该对象的类型是模板参数:

template<ReturnType, T>
ReturnType doSomething(const T & foo) {
    return foo.bar(); // EDIT: Might also be an expression introducing a temp val
}

所以T必须有一个方法ReturnType T::bar() const才能在这样的调用中使用:

struct MyClass {
    ...
    int bar() const;
    ...
};
...
MyClass object;
int x = doSomething<int, MyClass>(object);

MyClass感谢类型扣除,我们无需写信,调用成为:

int x = doSomething<int>(object);

但是省略<int>也会导致编译错误,因为该方法不需要返回int以便x以后分配(char例如,它可以返回).

在C++ 0X/11,我们有auto和decltype,使我们可以用它来推断模板方法的返回类型:

template<T>
auto doSomething(const T & foo) -> decltype(foo.bar()) {
    return foo.bar(); // …