Моя команда разрабатывает встроенную систему, где нам нужно следовать MISRA C++.
Мы реорганизуем код, чтобы использовать меньше виртуальных методов, поэтому мы пытаемся реализовать CRTP для использования статического полиморфизма вместо динамического.
Но у нас есть проблема, что статический полиморфизм требует преобразования указателя, поэтому наш статический анализатор проверки жалуется.
Вот интерфейс
template <typename T>
class UpdateMethod
{
protected:
~UpdateMethod() {}
public:
void operator()() const
{
// [MISRA Rule 5-2-7] violation:
static_cast<const T*>(this)->update();
}
};
Вот одна из реализаций:
class A
: public UpdateMethod<A>
{
public:
void update() const {}
};
Когда проходит контролер MISRA, он жалуется на static_cast (преобразование из ptr в ptr (e926).
Итак, мой вопрос: есть ли хороший способ реализовать CRTP без необходимости пресекать предупреждение MISRA, поэтому безопасным способом?
Связанный с этим вопрос только о преобразовании указателя: MISRA C++ 2008 Правило 5-2-7 Нарушение: объект с типом указателя не должен быть преобразован в несвязанный тип указателя, прямо или косвенно у меня такая же ошибка в CRTP.
Изменение: как упоминалось только C++ 03, и никакой внешней библиотеки, такой как boost.
Вы можете использовать обратный подход:
template <typename T>
class UpdateMethod : public T
{
public:
void operator()() const
{
this->update();
}
};
class A_impl
{
public:
void update() const {}
};
typedef UpdateMethod<A_impl> A;
Проблема в том, что инструмент проверяет определение шаблона, а не на создание экземпляра шаблона.
Должен быть какой-то способ помочь инструменту понять ситуацию. Лучший способ - это концепции C++2a, но, скорее всего, инструмент не поддерживает это, и компилятор, вероятно, тоже этого не делает.
Другим решением будет предоставление static_assert, надеясь, что инструмент поймет, что:
template <typename T>
class UpdateMethod
{
static_assert(std::is_base_of<UpdateMethod<T>, T>::value, "This is CRTP");
protected:
~UpdateMethod() {}
public:
void operator()() const
{
static_cast<const T*>(this)->update();
}
};
Другой способ - использовать SFINAE и сделать оператор доступным при кастинге:
template <typename T>
class UpdateMethod
{
protected:
~UpdateMethod() {}
public:
typename std::enable_if<std::is_base_of<UpdateMethod<T>, T>::value>::type
operator()() const
{
static_cast<const T*>(this)->update();
}
};
Или используйте оба.
Попробуйте это, я надеюсь, что инструмент поймет это и перестанет сообщать об ошибке. Если нет, то ИМХО это ошибка в инструменте.
Кто-то указывает, что С++ 03 должен использоваться. В этом случае вы можете использовать boost, где это вспомогательные шаблоны enable_if и is_base_of, где изначально определено.
То, что проверяет не нравится, - это понижение. Можем ли мы это сделать без кастинга вообще? Производный класс может предоставить правильное значение с правильным типом, например, во время строительства. Тип предварительного понижения. Это будет стоить вам лишнего хранимого указателя. Как это:
template <typename T>
class UpdateMethod
{
protected:
T* implThis;
~UpdateMethod() {}
UpdateMethod(T* implThis):implThis(implThis) {}
public:
void operator()() const
{
// this was the problematic cast
implThis->update();
}
};
class A
: public UpdateMethod<A>
{
public:
A(): UpdateMethod(this) {}
void update() const {}
};