Виртуальный метод нельзя удалить в С++ 0x?

Термин use имеет конкретное определение в стандарте, и, в частности, для виртуальных функций определение odr-used таково:

§3.2/2 (C++0x FDIS) [...] Виртуальная функция-член используется odr, если она не является чистой.[...]

Где odr-used — новый термин в будущем стандарте, который относится к тому, что в предыдущем стандарте называлось просто used:

§3.2/2 (текущий стандарт) [...] Виртуальная функция-член используется, если она не является чистой.[...]

Я считаю, что в сообщении об ошибке используется термин используется для ссылки на odr-used в данном конкретном случае, и да, причина, по которой это является нарушением, точно такая же. причина, по которой вы не можете оставить нечистую виртуальную функцию-член нереализованной.

Все нечистые виртуальные функции должны быть реализованы, используете вы их или нет:

struct Test
{
  Test() {}
  virtual void foo();
};

int main() {
   Test* t = new Test;
   // ^ it seems to have to be dynamic allocation to coerce the error out
}

/* Output:
/home/Y3oGMf/ccOLuYWf.o: In function `main':
prog.cpp:(.text+0x17): undefined reference to `vtable for Test'
collect2: ld returned 1 exit status
*/

Я думаю, вы видите немного странное сообщение об ошибке, касающееся использования удаленной функции по аналогичной причине. Это просто из-за того, как все работает внутри. Более разумное сообщение об ошибке может быть в строке, где вы пытались delete использовать член функции virtual, говоря: «Это не сработает. Это вызовет проблемы, потому что эта реализация должна существовать».

В любом случае delete функция интерфейса не имеет смысла. Наследование добавляет функциональность; это не отнимает. Обратите внимание, что создание функции-члена чистой виртуальной запрещает создание экземпляра всего класса: производные классы должны повторно реализовать функциональность, чтобы она не была потеряна.

Насколько я понимаю, ключевое слово delete предназначено для удаления реализации по умолчанию, созданной компилятором. Для виртуальных методов нет реализации по умолчанию, сгенерированной компилятором.

Разрешены удаленные виртуальные функции, но не переопределение их.

§10.3(11) говорит:

Виртуальная функция, объявленная в классе, должна быть определена или объявлена ​​чистой (10.4) в этом классе, или и то, и другое; но диагностика не требуется (3.2).

В §8.4.1 говорится, что удаленная функция определена.

И §10.3(16) говорит:

Функция с удаленным определением (8.4) не должна переопределять функцию, не имеющую удаленного определения. Точно так же функция, не имеющая удаленного определения, не должна переопределять функцию с удаленным определением.

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

Таким образом, следующий код неправильно сформирован:

struct Base {
    virtual void foo();
};
struct Derived : public Base {
    virtual void foo() = delete;
};

Но следующий код правильно сформирован:

struct Base {
    virtual void foo() = delete;
};
struct Derived : public Base {
    virtual void foo() = delete;
};

ДЕМО

У OP была либо ошибка компилятора, либо проблема QoI (трудно сказать, что именно, потому что он не опубликовал весь код), которая с тех пор была исправлена.

Возможно, вам не следует наследовать от класса, который ТРЕБУЕТ что-то, если ваш производный класс не может это реализовать. Вероятно, вам не нужно наследовать от этого класса в первую очередь.

Это все равно, что сказать: «Я делаю лучшую машину. Это своего рода машина, но без колес». Вы уверены, что это машина?

Или ты спрашиваешь это просто из любопытства?