Как получить предупреждение при переопределении виртуального метода с неправильной видимостью - PullRequest
Новая
       22

Как получить предупреждение при переопределении виртуального метода с неправильной видимостью

9 голосов
/ 30 сентября 2011

При переопределении виртуального метода, я заметил, что когда я делаю ошибку в видимости (защищенный метод переопределяется как открытый метод), меня не предупреждает компилятор.

Это допустимый C ++,но обычно это ошибка.

Например: 

#include <iostream>

class Base
{
protected:
  virtual void ProtectedMethod(void)
  {
    std::cout << "Base::ProtectedMethod" << std::endl;
  }
};

class Derived : public Base
{
public:
  virtual void ProtectedMethod(void)
  {
    std::cout << "Derived::ProtectedMethod" << std::endl;
  }
};

int main(int, char* [])
{
  Derived d;
  d.ProtectedMethod();
}

Я попытался скомпилировать с помощью gcc и clang, с -Wall -Wextra, но безуспешно.Я запустил CppCheck для этого кода, но все равно не повезло.

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

Ответы [ 2 ]

1 голос
/ 30 сентября 2011

Inspirel позволяет вам определять свои собственные правила: http://www.inspirel.com/vera/

0 голосов
/ 07 октября 2011

Я нашел решение для своих нужд, используя ctags .

CTags может анализировать C ++ и выводить информацию в файл.

Использование следующих параметров: 

$CTAGS -f $TAGFILE --fields=fkstia --c++-kinds=+p  -R $SOURCES

Я могу получить всю необходимую информацию в легко разбираемом формате.

Передав $TAGFILE с помощью нескольких команд grep, я могу проверить, что известное имя функции имеет ожидаемую видимость, и в противном случае выдать предупреждение с инкриминированным файлом.

Вот фрагмент кода bash для извлечения информации из вывода ctags: 

#!/bin/bash
function check_method {
    echo "Checking $1 (should be $2 and is not)"
    cat $TAGFILE | grep "^$1    " | grep "access" | grep -v "access:$2" | cut -f 2
    echo
}

# will warn anytime a method called ProtectedMethod is not protected
check_method ProtectedMethod protected
...