Почему basic_streambuf :: pubseekoff() не является чистой виртуальной функцией?

Question

Если посмотреть на <streambuf> заголовочный файл в VS2010 вы увидите определение этой функции-члена, как

pos_type pubseekoff(off_type _Off, ios_base::seekdir _Way, 
       ios_base::openmode _Mode = ios_base::in | ios_base::out) 
{ // change position by _Off, according to _Way, _Mode 
    return (seekoff(_Off, _Way, _Mode)); 
} 

где seekoff является виртуальной функцией, которая переопределяется в производных классов basic_filebuf и basic_stringbuf и который ничего не делает в базовом классе basic_streambuf, как можно увидеть ниже:

virtual pos_type seekoff(off_type, ios_base::seekdir, 
         ios_base::openmode = ios_base::in | ios_base::out) 
{ // change position by offset, according to way and mode 
    return (streampos(_BADOFF)); 
} 

Я не смог найти определение _BADOFF, но это, вероятно, -1. Но это действительно не имеет значения. Эта функция, а не pubseekoff, никогда не будет вызываться, так как класс basic_streambuf является абстрактным классом (его конструкторы защищены).

Обратите внимание, что компилятор gcc использует ту же технику. Почему двум компиляторам пришлось прибегнуть к функциям-членам seekoff() вместо простого объявления pubseekoff как чистого виртуального в basic_streambuf и определения его в каждом из производных классов basic_filebuf и basic_stringbuf?

Answer 1

По той же причине вы обычно не делаете виртуальные функции общедоступными. Публичные функции определяют интерфейс, а базовый класс должен уметь их захватывать, если он хочет обеспечить соответствие этого интерфейса . Существуют исключения, когда задействована инверсия управления , но в большинстве случаев вы просто не открываете виртуальные функции . Как бы вы ввели предварительные и послесловия чеки, если вы это сделали? (См., Например, http://www.gotw.ca/publications/mill18.htm.)