Получаване на типа & за вграден и оператор&()?

Редактиране: Отговорът, който маркирах по-долу, не е 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 наоколо, но без резултат.