从特征获取常量或非常量引用类型

Question

我正在编写一个函子 F，它接受 void (*func)(T) 类型的函数和 func 的参数 arg。

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

然后函子 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);

这对于给出错误 ： 类型“int&”的非常量引用的初始化无效从类型为 'int' 的临时变量传递 'void F(void (*)(T), typename type_op::valid_ref_type) [with T = int]' 的参数 2

如何使此特征发挥作用？

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 const&同样：

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

请注意，参数类型为 T const 的函数的签名为 T！ const 是一个实现细节：

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（可能是 boost::bind）通过仅提供 const T& 特征并需要使用 ref(x)< 来解决这个问题/code> 指示非常量引用。

Answer 4

您还可以使用 add_reference来实现您需要的类型映射。