我正在尝试实现一个条件指针解引用函数。基本思路如下:
return is_pointer(arg) ? *arg : arg
为了限制必要特化的数量,我尝试在 arg
不是指针的情况下使用右值引用。这是我当前的实现(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
报告为非指针类型,两个重载之间出现了冲突。此外,当我在第一个重载中用标准引用替换右值引用时:
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*&
.如果不是那样,此语法会将任何内容捕获为右值引用。而重点是将左值绑定(bind)到左值引用,将右值绑定(bind)到右值引用。
和is_pointer<int*&>
不是真的。因此,您可以尝试申请 remove_reference<T>
.
关于C++ - 具有右值引用的函数模板特化行为,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4973776/