Функция возврата шаблон типа вычет

Question

У меня есть класс C с const и нефизических const добытчиками для некоторого общего типа Node:

template <typename NodeType> 
class CParent{}; 

class Node {}; 

class C : public CParent<Node> { 
    Node&  getNode(Index i); 
    const Node& getNode(Index i) const; 
}; 

Теперь я хочу, чтобы создать функцию псевдонима, который называют getNode для объекта класса C :

template <class CType> 
NodeType& AliasGetNode(CType* cobject); 

Но как вывести NodeType? то есть, если я звоню AliasGetNode<const C>(c) и AliasGetNode<C>(c), NodeType должен быть соответственно const Node& и Node&.

Как это сделать?

Я пытался использовать result_of и decltype, но не был успешным.

Answer 1

я рекомендовал бы:

template <class CType> 
auto AliasGetNode(CType& cobject) -> decltype(cobject.getNode(0)) 
{ 
    return cobject.getNode(0); 
} 

Это должно работать достаточно, так как C++ 11

Answer 2

Определение простого вспомогательного признака, который будет добавлять/удалять const от типа на основе того, другой тип const:

template <class Src, class Dst> 
using copy_const = typename std::conditional< 
    std::is_const<Src>::value, 
    const Dst, 
    typename std::remove_const<Dst>::type 
>::type; 

И использовать его:

template <class CType> 
copy_const<CType, NodeType>& AliasGetNode(CType* cobject); 

Answer 3

Пусть компилятор выводит (с C++ 14):

template <class CType> 
decltype(auto) AliasGetNode(CType& cobject) 
{ 
    return cobject.getNode(0); 
} 

Answer 4

Вы должны написать два псевдонима functi дополнения, один для неконстантного экземпляра, а другой для сопзЬ например:

template <class CType> 
const NodeType& AliasGetNode(const CType* cobject) const; // for const instance. 
// The function must be const since the only difference between return type will cause redefinition error. 

template <class CType> 
NodeType& AliasGetNode(CType* cobject); // for non-const instance 

Экземпляры объявлены сопзЬ будем называть константные функции, если есть функции перегрузки. Конечно, неконстантные экземпляры вызовут неконстантную версию функции перегрузки. Например:

class Aclass { 
    public: 
     string test() { return "calling non-const function"; } 
     string test() const { return "calling const function"; } 
}; 

int main() { 
    Aclass a; 
    const Aclass b; 

    cout << a.test() << endl; 
    cout << b.test() << endl; 

    return 0; 
} 

Результат будет:

calling non-const function 
calling const function 

Answer 5

Поскольку C++ 14 возвращаемый тип функции может быть выведен компилятором:

template<typename CType> 
decltype(auto) AliasGetNode(CType& cobject) { 
    return cobject.getNode(); 
} 

Когда вы звоните AliasGetNode на объекте типа Node, CType выведено на номер Node. Но если вы назовете AliasGetNode на объект типа const Node, то CType выводится на номер const Node.

Важно, чтобы тип возврата AliasGetNode был равен decltype(auto), иначе вы потеряете ссылку и константу для возвращаемого типа.