什么是函数的左值引用？

Question

在§14.1.4中，新的C++ 0x标准将允许的非类型描述为模板参数。

4）一种非型模板参数应具有下列（任选CV-合格）类型之一：

• 整数或枚举类型，
• 指针对象或指针功能
• 左值引用对象或左值对函数的引用，
• 指向成员的指针。

什么是“功能的左值引用”？它在模板参数列表中看起来像什么。它是如何使用的？

我想是这样的：

//pointer to function 
typedef int (*func_t)(int,int); 

int add(int lhs, int rhs) 
{ return lhs + rhs; } 

int sub(int lhs, int rhs) 
{ return lhs - rhs; } 

template< func_t Func_type > 
class Foo 
{ 
public: 
    Foo(int lhs, int rhs) : m_lhs(lhs), m_rhs(rhs) { } 

    int do_it() 
    { 
     // how would this be different with a reference? 
     return (*Func_type)(m_lhs,m_rhs); 
    } 
private: 
    int m_lhs; 
    int m_rhs; 
}; 

int main() 
{ 
    Foo<&add> adder(7,5); 
    Foo<&sub> subber(7,5); 

    std::cout << adder.do_it() << std::endl; 
    std::cout << subber.do_it() << std::endl; 
} 

Answer 1

你func_t的类型是函数指针的;你也可以声明一个类型，它是一个函数的引用：

typedef int (&func_t)(int, int); 

然后你main()看起来像这样：

int main() 
{ 
    Foo<add> adder(7,5); 
    Foo<sub> subber(7,5); 

    std::cout << adder.do_it() << std::endl; 
    std::cout << subber.do_it() << std::endl; 
}