C ++ - 使用右值引用的函数模板特化的行为

我正在尝试实现条件指针解除引用功能。基本思路如下:
return is_pointer(arg) ? *arg : arg
为了限制必要的专业化数量,我试图在
arg
不是指针的情况下使用rvalue引用。这是我目前的实现(
std::cout
仅用于调试目的):
template< typename T >
inline typename std::enable_if< std::is_pointer< T >::value == false, T >::type deref(T&& t)
{
    std::cout << std::is_pointer< T >::value << std::endl;
    std::cout << typeid (T).name() << std::endl;
    return t;
}

template< typename T >
inline typename std::enable_if< std::is_pointer< T >::value == true, typename std::remove_pointer< T >::type& >::type deref(T t)
{
    std::cout << std::is_pointer< T >::value << std::endl;
    std::cout << typeid (T).name() << std::endl;
    return *t;
}
现在,我在GCC 4.6下得到了一个相当奇怪的行为。第一个重载用于非指针类型和指针类型。显然,当使用指针类型时,它与第二个重载冲突。如果我注释掉第二个并使用第一个调用以下内容...
int q;
int *p = &q;
deref(p);
...相应的控制台输出是:
0
Pi
在同一个上下文中,非指针类型(根据
std::is_pointer
)是否也可能是指针类型(根据
typeid
)?由于
std::is_pointer
错误地报告
p
作为非指针类型而导致的两次重载之间产生冲突。此外,当我在第一个重载中用标准引用替换r值引用时:
inline typename std::enable_if< std::is_pointer< T >::value == false, T >::type deref(T& t)
它不再与第二次超载相冲突......我根本就没有得到正在发生的事情。顺便说一句,使用第二个过载产生(如预期的那样):
1
Pi
谢谢你的帮助。     
已邀请:
据我所理解
template <T>
void foo(T&&)
意味着如果
T
是左值,它将被推断为参考(在你的情况下为
T = int*&
),并且在参考折叠
int*&&&
后产生一个常规左值参考
int*&
。如果不是这样,则此语法将捕获任何内容作为右值引用。而重点是将左值与左值引用绑定,将右值与右值引用绑定。 并且
is_pointer<int*&>
不是真的。因此,您可以尝试应用
remove_reference<T>
。     
在你的第一次重载中,T被推断为int *&amp ;.尝试第一次重载,在enable_if-testing和output中使用
remove_reference<T>::type
。     

要回复问题请先登录注册