Блог

Как я могу защитить от случайного определения ненаследуемого метода, для которого предназначено унаследованное определение. Мне сказали, что есть уловка, чтобы выразить это, но никто не может вспомнить это.

Объяснение. У меня есть дерево классов: ‘Base’ <- ‘C’ <- ‘D’, ниже. Base определяет чисто виртуальную функцию. Функция переопределяется в C, затем в D. Но функция имеет очень длинный список аргументов.

Где-то в цепочке вывода в agrglist есть небольшая ошибка, которая делает D:: ненаследованным. Программа успешно компилируется. И во время выполнения вызывается неправильный метод.
Есть ли способ вызвать ошибку компиляции, когда метод не унаследован.

 #include <iostream>

class Base {
public:
    virtual void VeryLongFunctionName(int VeryLongArgumentList) = 0;
};
class C : public Base {
public:
    void VeryLongFunctionName(int VeryLongArgumentList) {
        std::cout << "C::n";
    }
};
class D : public C {
public:
    void VeryLongFunctionNane(int VeryLongArgumentList) { // typo is intentional. It's the point of the question.
        std::cout << "D::n";
    }
};

int main() {
    Base *p = new D;
    p->VeryLongFunctionName(0);
            // the intention is to print D::. But it prints C::.
            // How can we make compiler catch it.       
    return 0;
}
  

не совсем то, что вы просили, но я использовал эту форму, чтобы уменьшить вероятность человеческой ошибки:

 class t_very_long_argument_list {
public:
    t_very_long_argument_list(T1amp; argument1, const T2amp; argument2);
    /* ... */
    T1amp; argument1;
    const T2amp; argument2;
};

int C::VeryLongFunctionName(t_very_long_argument_listamp; arguments) {
    std::cout << "C::n";
}
  

Именно для этой цели в C 0x вводится override декоратор функции-члена, который уже реализован в VC 2005 и более поздних версиях: http://msdn.microsoft.com/en-us/library/41w3sh1c.aspx

В качестве альтернативы, VC допускает следующее (предположительно, зависящее от компилятора):

 #include <iostream>

class Base {
public:
    virtual void VeryLongFunctionName(int VeryLongArgumentList) = 0;
};

class C : public Base {
public:
    void Base::VeryLongFunctionName(int VeryLongArgumentList) {
        std::cout << "C::n";
    }
};

class D : public C {
public:
    void Base::VeryLongFunctionNane(int VeryLongArgumentList) {
    //   ^^^^^^ now causes a compilation error
        std::cout << "D::n";
    }
};
  

У вас ошибки компиляции —

• int VeryLongFunctionName(int VeryLongArgumentList) предполагается, что оно возвращает, int чего не делает ни одно из определений метода.

• int VeryLongFunctionName(int VeryLongArgumentList) предполагается, что должно быть получено int .

  p->VeryLongFunctionName(); // Ошибка

Исправив это, вы должны получить ожидаемые результаты. Проверьте результаты: http://ideone.com/wIpr9