在尝试在这里回答一个问题时,我发现了这个问题:
来自答案的改编代码如下:
template<typename T> T& dereference(T &v) { return v; }
template<typename T> const T& dereference(const T &v) { return v; }
template <typename T>
typename std::enable_if<!std::is_pointer<T>::value, T&>::type
dereference(T *v) {
return dereference(*v);
}
但是,在此测试中,它无法将指针对指针取消引用到值类型中:
template <typename T>
class A
{
public:
bool compare(T a, T b){
return dereference(a) < dereference(b);
}
};
int main()
{
int u = 10;
int *v = &u;
int **w = &v;
int i = 5;
int *j = &i;
int **k = &j;
A<int> a;
A<int*> b;
A<int**> c;
std::cout << a.compare(i, u) << std::endl;
std::cout << b.compare(j, v) << std::endl;
// This fails - 5 < 10 == 0
std::cout << **k << " < " << **w << " == " << c.compare(k, w) << std::endl;
return 0;
}
显然,w
并且k
只取消引用一次,这导致operator<
在两个指针上被调用。
我可以通过添加以下内容来解决此问题:
template <typename T>
typename std::enable_if<!std::is_pointer<T>::value, T&>::type
dereference(T **v) {
return dereference(*v);
}
但随后它将失败int***
。
有没有办法在不手动添加级别的情况下递归地进行此操作?
注意这只是“理论”问题。