什麼是函數的左值引用？

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; 
}