1

编辑：我在下面标记的答案不是 100% 正确，实际上是在评论中：using TPtr = decltype(&std::declval<T&>());

我正在尝试使用std::conditional<>获取类型&T，T可能有operator&()或没有。

简单的解决方案是甚至不尝试，而是指定另一个模板参数：

struct Foo
{
    int operator&() { return 314; }
};

struct Bar { };

template <typename T, typename TPtr = T*>
struct A
{
    T& _t;
    A(T& t) : _t(t) {}
    TPtr data() {
        return &_t;
    }
};

那么客户端代码在哪里

Foo foo;
A<Foo, int> aFoo(foo);
int pFooData = aFoo.data();

Bar bar;
A<Bar> aBar(bar);
Bar* pBarData = aBar.data();

但我宁愿写的是这样的：

template <typename T>
struct B
{
    using TPtr = typename std::conditional<has_operator_address_of<T>::value, typename std::result_of<decltype(T::operator&)&()>::type, T*>::type;

    T& _t;
    B(T& t) : _t(t) {}
    TPtr data() {
        return &t;
    }
};

以哪里has_operator_address_of为模型is_call_possible。然后是客户端代码

B<Foo> bFoo(foo); // no need to second template argument
pFooData = bFoo.data();

但随后该类没有operator&()编译失败：

B<Bar> bBar(bar);
pBarData = bBar.data();

似乎conditional想要编译两个模板参数，所以当T没有operator&(). 我试过std::enable_if到处撒，但没有用。

4

1 回答 1

1

您可以使用decltypeand declval，并带有一点技巧来强制将左值传递给&运算符（这是必需的）：

#include <utility>从以下帮助函数开始并定义：

template <typename T>
T& as_lvalue(T&& val)
{
    return val;
}

然后：

using TPtr = decltype(&as_lvalue(std::declval<T>()));

（现场演示）

于 2015-06-17T16:47:09.690 回答