1

Есть класс:

class A
{
   public:
     int& operator [] (int a)
     {
        return x.at(a);
     }
     int operator [] (int a) const
     {
        return x.at(a);
     }
   private:
     vector<int> x;
};

Так как реализация обеих перегрузок одинаковая, хочу объединить их в шаблон. Можно ли это сделать?

4
  • 1
    у оператора [] и функции at разная "идеология". [] не возвращает исключений, если индекс за пределами, а вот at - возвращает. Поэтому, использование at внутри [] нарушает соглашения.
    – KoVadim
    13 дек 2015 в 11:05
  • @KoVadim Я могу в реализации [] написать всё что угодно, какие соглашения это нарушает?
    – Georgiy
    13 дек 2015 в 11:07
  • @KoVadim Это соглашение на уровне стандартной либы, не?
    – Kyubey
    13 дек 2015 в 11:08
  • 1
    В стандарте так принято для всех контейнеров. Вы можете нарушать это соглашение, но сторонние разработчики, которые будут пользоваться Вашим кодом, могут ожидать стандартного поведения.
    – KoVadim
    13 дек 2015 в 13:11

1 ответ 1

3

Нет.

Хоть эти два метода содержат одинаковый текст, но они абсолютно разные: один работает на константном объекте и возвращает целое число, вызывая константный метод at; другой работает на неконстантном объекте, возвращает ссылку из неконстантного метода at. В целом, у них разные сигнатуры и разная реализация.

К слову, обычно перегрузки делают так:

int& operator [] (int a)
const int& operator [] (int a) const

Шаблоны предполагают, что класс обобщается по некоторому параметру-типу (или значению). Здесь они вообще не при чём. Впрочем, если вы хотите, чтобы ваш класс поддерживал не только int, то можно сделать шаблон:

template <typename T>
class A
{
   public:
     T& operator [] (int a)
     {
        return x.at(a);
     }
     const T& operator [] (int a) const
     {
        return x.at(a);
     }
   private:
     vector<T> x;
};
5
  • В чём разница между возвращаемым значением int и const int& в данном случае?
    – Georgiy
    13 дек 2015 в 11:05
  • @Georgiy В данном — никакого. А если переписывать на шаблон, то переписывать меньше. Ну и сигнатура с векторовским at совпадёт. Вкусовщина. :)
    – Kyubey
    13 дек 2015 в 11:06
  • А в общем случае что лучше использовать?
    – Georgiy
    13 дек 2015 в 11:08
  • @Georgiy В случае шаблона — константную ссылку. Тогда (гарантированно) не будет копирования. Для сложных объектов это имеет значение. В общем, логика простая: когда сомневаешься, смотри стандартную либу, там всё по уму. :)
    – Kyubey
    13 дек 2015 в 11:10
  • Спасибо, вопрос снят
    – Georgiy
    13 дек 2015 в 11:11

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.