Как определить, возвращает ли оператор «->» тип?

Question

Я понимаю, что все, что возвращаемый operator-> будет вызывать его operator-> в вызове функции, как это:

someVarWithOverloadedOperator->someFunc(); 

И этот процесс вызова -> функции будет продолжаться до тех пор один из них не является указателем, а затем someFunc вызывается из этого указателя.

Мой вопрос: есть ли способ заставить аргумент шаблона, чтобы иметь оператор -> в конечном итоге вернуть определенный класс:

template<typename ThisClassOperatorMustReturn_TypeA_> 
class MyClass{ 
    void foo() { 
    ThisClassOperatorMustReturn_TypeA_ var; 
    var->someClassAFunc(); //I need this `->` operator to return type "A" 
    } 
}; 

Любой способ сделать это?

Answer 1

Вы можете создать признаки для этого:

template <typename T> 
using arrow_type = decltype(std::declval<T>().operator ->()); 

template <typename T, typename ArrowType = arrow_type<T>> 
struct arrow_last_type 
{ 
    using type = typename arrow_last_type<ArrowType>::type; 
}; 

template <typename T, typename P> 
struct arrow_last_type<T, P*> 
{ 
    using type = P*; 
}; 

, а затем

static_assert(std::is_same<A*, arrow_last_type<ClassToTest>::type>::value, "unexpected"); 

Demo