我想防止将对非常量对象的左值引用绑定(bind)到我的函数参数,目前我有这段代码:
template <typename T>
using remove_cr = std::remove_const<typename std::remove_reference<T>::type>;
template <typename T>
using is_nc_lvalue_reference
= std::integral_constant<bool,
std::is_lvalue_reference<T>::value
&& !std::is_const<typename std::remove_reference<T>::type>::value
>;
template <typename T>
void func(T && v, typename std::enable_if<
std::is_same<THE_TYPE_I_WANT, typename remove_cr<T>::type>::value
&& !is_nc_lvalue_reference<T>::value>::type* = 0)
{
}
这对我来说似乎有很多代码,是否存在更优雅的 SFINAE 或非 SFINAE 方法?我不需要完美转发,但如果我不使用它,我就失去了T
。
想法是,不应修改 const
对象,因此我可以将它们转换为其他表示形式并将它们提供给不同的进程。如果给出非常量引用,它引用的对象可以被修改,但是其他进程没有权限访问转发进程的内存空间,因此我不转发它。
最佳答案
这个怎么样:
template <typename T>
void func(const T &x) {
process(x);
}
template <typename T>
void func(T &x) {
do_nothing(x);
}
Example在行动中。
关于c++ - 防止将左值引用绑定(bind)到非常量对象,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15577549/