從trait獲得const或非const引用類型

Question

我正在寫一個函數functor F，它接受void（func）（T）和func的參數arg的函數。

template<typename T> 
    void F(void (*func)(T), WhatTypeHere? arg) 
{ 
    func(arg); 
} 

然後functor F調用arg的func。我希望F不要複製arg，只是爲了傳遞它作爲參考。但是，我不能簡單地寫出「void F（void（* func）（T），T &）」，因爲T可能是一個參考。所以我想寫一個特性，它允許獲得的T適當的引用類型：

T -> T& 
T& -> T& 
const T -> const T& 
const T& -> const T& 

我想出了這樣的事情：

template<typename T> 
struct type_op 
{ 
typedef T& valid_ref_type; 
}; 

template<typename T> 
struct type_op<T&> 
{ 
typedef typename type_op<T>::valid_ref_type valid_ref_type; 
}; 

template<typename T> 
struct type_op<const T> 
{ 
typedef const T& valid_ref_type; 
}; 

template<typename T> 
struct type_op<const T&> 
{ 
typedef const T& valid_ref_type; 
}; 


template<typename T> 
    void F(void (*func)(T), typename type_op<T>::valid_ref_type arg) 
{ 
    func(arg); 
} 

其中例如不工作了

void a(int x) { std::cout << x << std::endl; } 
F(&a, 7); 

給錯誤：在通過參數2的類型從一個臨時類型「INT」的「INT &」的非const引用 無效初始化'void F（void（*）（T），typename type_op :: valid_ref_type）[with T = int]'

如何讓這個特徵起作用？

Answer 1

template<class T> 
struct forwarding { typedef T const& type; }; 
template<class T> 
struct forwarding<T&> { typedef T& type; }; 

template<typename T> 
void F(void (*func)(T), typename forwarding<T>::type arg) { 
    func(arg); 
} 

void a(int x) { std::cout << x << std::endl; } 
int main() { 
    F(&a, 7); 
} 

你的映射接近，你真正想要牛逼映射至T常量&太：

 
T  -> T const& 
T&  -> T& 
T const& -> T const& 

需要注意的是爲T常量的參數類型函數有T的簽名！該常量是一個實現細節：

void f(int const); 
typedef void F(int); // typedef of function type 
F* p = &f; // no error! f's signature doesn't include const 

Answer 2

所有你需要的是刪除參考：

template<typename T> struct remove_reference { typedef T type; }; 
template<typename T> struct remove_reference<T&> { typedef T type; }; 

然後重新添加如下：

remove_reference<T>::type& 

你的函數應該聲明如下：

template<typename T> 
void F(void (*func)(T), const typename remove_reference<T>::type& arg) 
{ 
    func(arg); 
} 

Answer 3

這是在我的腦海裏有點模糊，但我認爲這種提升（也許是boost :: bind）通過僅提供const T&特性解決了這個問題s，並要求使用ref(x)來指示非const引用。

Answer 4

你也可以使用add_reference從Boost.TypeTraits實現類型映射你的需要。