оператор шаблона ->

Question

Есть ли способ для удобства вызова оператора шаблона->? Было бы здорово иметь такую ​​возможность в таких классах, как вариант

Например: (вот только пример)

struct base_t 
{ 
    template<class T> 
    T* operator->() 
    { 
     return reinterpret_cast<T*>(this); 
    } 
}; 

int main(int argc, char* argv[]) 
{ 
    base_t x; 
    x.operator-><std::pair<int,int>>()->first; //works, but inconvenient 
    x<std::pair<int,int>>->first; // does not work 
    x-><std::pair<int,int>>first; //does not work 

    return 0; 
} 

мне нужно доказательство =)

Answer 1

Нет, это не реально, как это это не реально слишком

struct base_t 
{ 
    template<class T> 
    T operator()() 
    { 
     return T(); 
    } 
}; 

int main() 
{ 
    base_t x; 
    x.operator()<int>(); // works 
    x.()<int>(); // not works 
} 

выражение х-> т интерпретируется как (x.operator- >()) -> м для объекта класса х типа Т, если Т :: оператор ->() существует, и если оператор выбран как лучшая функция соответствия с помощью разрешения перегрузки механизма

postfix- выражение -> templateopt Ид выражение

постфикса-выражение -> псевдо-деструктор имя

Таким образом, синтаксис x-><T> просто некорректно.