Оператор индексации перегрузки кортежа - C ++

Question

Как я могу перегрузить оператор индексации [] для std::tuple<int,int,int>? Итак, когда у меня есть std::tuple<int,int,int> tup и я набираю tup[0], я хочу, чтобы он возвращал ссылку на get<0>(tup). Возможно ли это?

Answer 1

Как упоминалось в других ответах, невозможно добавить какую-либо функцию-член к типу std, например std::tuple. И operator[] должен быть нестатической c функцией-членом.

Но вы можете обернуть этот кортеж - и добавить operator[] к этому типу оболочки. В таком случае вам необходимо знать общий тип возвращаемого значения для всех элементов кортежа. Что ж, есть std :: any, который может работать с большинством типов.

Это должно сработать, но это только для удовлетворения вашего любопытства - было бы плохим дизайном использовать что-то подобное в реальном программном обеспечении:

template <typename Tuple, typename ReturnType = std::any>
class TupleExtractor
{
public:
    TupleExtractor(const Tuple& tuple) 
        : TupleExtractor(tuple, std::make_index_sequence<std::tuple_size_v<Tuple>>{})
    {}
    
    ReturnType operator[](std::size_t index) const
    {
        return extractors[index](tuple);
    }

private:
    template <std::size_t I>
    static ReturnType get(const Tuple& tuple)
    {
        return std::get<I>(tuple);
    }


    template <std::size_t ...I>
    TupleExtractor(const Tuple& tuple, std::index_sequence<I...>) 
        : tuple(tuple), 
          extractors{&TupleExtractor::get<I>...}
    {}

    const Tuple& tuple;
    using Extractor = std::any(*)(const Tuple&);
    std::vector<Extractor> extractors;
};

и проверьте - что работает:

int main() {
    std::tuple<int, int, int> a{1,2,3};
    TupleExtractor e{a};
    
    return std::any_cast<int>(e[2]);
}

Answer 2

Это невозможно по 2 причинам:

1. operator[] должно быть нестатической c функцией-членом, и, поскольку вы не реализуете стандартную библиотеку, вы можете 'Не добавляйте функцию-член к std::tuple.

2. Индекс должен быть постоянным выражением, которое нельзя применить с помощью аргументов функции.