Оператор C++ () и объявление "using": левый операнд должен содержать ошибку l-значения

Пример ниже иллюстрирует более сложную, но не похожую проблему, которую я пытался решить элегантно. У меня есть набор шаблонов, которые должны быть специализированными, и при этом реализовать один или оба из двух интерфейсов: Readable и Writable, в каждой специализации. Конкретно реализует оба интерфейса, а затем тестируется с использованием main:

class Readable
{
protected:

    int values[3];

public:

    Readable()
    {
        // Does nothing.
    }

    int operator()(int i) const
    {
        return values[i];
    }
};

class Writable : public Readable
{
public:

    Writable()
    {
        // Does nothing.
    }

    using Readable::operator ();
    int& operator()(int i)
    {
        return values[i];
    }
};

class Specific : public Writable
{
};

void write_test(Specific& specific)
{
    // Error C2106: '=' : left operand must be l-value
    specific(0) = 1;
}

int main()
{
    Specific s;
    write_test(s);

    return 0;
}

Приведенный выше код не работает на VS 2008, 2010 со следующим:

ошибка C2106: '=': левый операнд должен иметь значение l.

Это кажется мне странным: я что-то упустил из виду? Я скомпилировал и запустил именно этот код, используя оператор [], и все было хорошо (как и должно было быть). Казалось бы, какая-то проблема, относящаяся конкретно к поведению этого оператора, проблема, с которой я не знаком.

1 ответ

Решение

Это ошибка компилятора: объявление использования должно работать. Чтобы обойти проблему, просто используйте делегирование:

class Writable: public Readable {
    ...
    int operator()(int i) const { return Readable::operator()(i); }
    ...
};

Эта реализация длиннее, чем фактически делегированная реализация, но позволяет избежать проблем, если версия в Readable когда-либо меняется.

Другие вопросы по тегам