Тип результата метода класса?

Question

Тип результата метода класса?

Рассмотрим следующий пример:

#include <iostream>
#include <numeric>
#include <array>
#include <type_traits>

// Array: I cannot modify this class
template<typename T, unsigned int N>
class Array
{
public:
Array() : _data() {std::iota(std::begin(_data), std::end(_data), 0);}
inline T& operator[](unsigned int i) {return _data[i];}
inline const T& operator[](unsigned int i) const {return _data[i];}
static constexpr unsigned int size() {return N;}
protected:
T _data[N];
};

// Test function: How to get the type returned by T::operator[](unsigned int) ?
template<typename T>
typename std::result_of<T::operator[](const unsigned int)>::type f(const T& x)
{
return x[0];
}

// Main
int main(int argc, char* argv[])
{
Array<double, 5> x;
std::array<double, 5> y = {{0}};
for (unsigned int i = 0; i < x.size(); ++i) std::cout<<x[i]<<std::endl;
for (unsigned int i = 0; i < y.size(); ++i) std::cout<<y[i]<<std::endl;
std::cout<<f(x)<<std::endl;
std::cout<<f(y)<<std::endl;
return 0;
}

Есть ли способ получить тип, возвращаемый T::operator[](unsigned int) ?

В настоящее время g ++ говорит: argument in position '1' is not a potential constant expression

1

c++c++11 result-of templates typetraits

Решение

Другие решения

Все, что вам нужно, это использовать новую функцию определения функций с синтаксисом auto foo(...) -> T,
Смотри сюда

0

Источник

Accepted Answer

Самый простой способ — использовать трейлинг-возвращаемый тип, который позволяет вам получить доступ к параметрам функции вместе с decltype, который позволяет получить тип выражения.

template<typename T>
auto f(const T& x) -> decltype(x[0])
{
return x[0];
}

1