Exponenta Banner
exponenta event banner

MISRA C++: 2008 Правило 14-6-2

Функция, выбранная разрешением перегрузки, должна быть преобразована в функцию, объявленную ранее в блоке преобразования

развернуть все на странице

Описание

Определение правила

Функция, выбранная разрешением перегрузки, должна быть преобразована в функцию, объявленную ранее в блоке преобразования.

Объяснение

Как правило, невозможно вызвать функцию до ее объявления, поэтому ожидается, что вызов функции разрешится в ранее объявленную функцию. Однако в случае разрешения перегрузки вызова функции внутри шаблона это ожидание может быть не удовлетворено. Разрешение этой перегрузки происходит в точке создания экземпляра шаблона, а не в точке определения шаблона. Таким образом, вызов может разрешить функцию, которая объявляется после определения шаблона и приводит к неожиданным результатам. См. примеры ниже.

Чтобы удовлетворить ожиданиям, что вызов функции всегда разрешается в ранее объявленную функцию, объявите перегрузки функции перед ее вызовом. Либо используйте оператор разрешения области :: или скобки для явного вызова определенной ранее объявленной функции и обхода механизма разрешения перегрузки.

Внедрение Polyspace

Средство проверки помечает вызов функции или оператора в определении шаблона функции, если функция или оператор объявлены после определения шаблона.

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

Примеры

развернуть все

void show (int);

namespace helpers {
      struct params {
         operator int () const;
      };
}

template <typename T> void displayParams(T const & arg) {
      show(arg);    //Non-compliant
      :show(arg);  //Compliant 
      (show)(arg);  //Compliant
}

namespace helpers {
      void show (params const &);
}

void main() {
      helpers::params aParam;
      displayParams(aParam);
}

В этом примере вызов show(arg) в шаблоне displayParams разрешает helpers::show(), но разработчик или рецензент кода может не ожидать этого разрешения вызова, поскольку helpers::show() объявляется позже. Polyspace ® помечает этот вызов.

Требования ::show(arg) и (show)(arg) явно указать ранее объявленную функцию show() объявлен в глобальном пространстве имен. Polyspace не помечает эти вызовы.

Проверить информацию

Группа: Шаблоны
Категория: Обязательно

См. также

Темы

Представлен в R2013b

Документация по программе проверки кода Polyspace

Поддержка