const-Qualified Reference Type происходит, когда переменная с ссылкой объявлена как const или volatile квалификатор, для образца:

char &const c;

Стандарт C++ 14 утверждает, что const или volatile квалифицированные ссылки плохо сформированы (если они не введены через typedef, в этом случае они игнорируются). Например, ссылка на одну переменную не может быть сделана, чтобы ссылаться на другую переменную. Поэтому использование const квалификатор не требуется для переменной со ссылочным типом.

Часто использование этих квалификаторов указывает на ошибку кодирования. Например, вы хотели объявить ссылку на const-квалифицированный тип:

char const &c;

char &const c;

Посмотрите, const ли или volatile неверно размещен квалификатор. Например, посмотрите, хотите ли вы обратиться к const-квалифицированный тип и введенный:

char &const c;

char const &c;

int func (int &const iRef) {
    iRef++;
    return iRef%2;
}

В этом примере iRef является const-квалифицированный тип ссылки. Начиная с iRef не может ссылаться на другую переменную, const классификатор избыточен.

Удалите избыточную const квалификатор. Начиная с iRef изменяется в func, он не предназначен для ссылки на const-квалифицированная переменная. Перемещение const квалификатор перед & приведет к ошибке компиляции.

int func (int &iRef) {
    iRef++;
    return iRef%2;
}

Если вы не идентифицируете, чтобы изменить iRef в func, объявить iRef как ссылка на const-квалифицированная переменная. Поместите const квалификатор перед & оператор. Убедитесь, что вы не измените iRef в func.

int func (int const &iRef) {
    return (iRef+1)%2;
}

Этот дефект возникает, когда переменная, которая ссылается на const-qualified type изменяется после объявления.

Например, в этом примере refVal имеет тип const int &, но его значение изменяется в последующем операторе.

using constIntRefType = const int &;
void func(constIntRefType refVal, int val){
   ...
   refVal = val; //refVal is modified
   ...
}

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

Компиляторы могут обнаруживать изменение ссылок на const-квалифицированные типы как ошибка компиляции. Если компилятор не обнаруживает ошибку, поведение не определено. Polyspace^® помечает этот дефект независимо от ошибки компиляции.

Избегайте изменения const-квалифицированные типы ссылок. Если изменение требуется, удалите const квалификатор из объявления ссылочного типа.

typedef const int cint;           
typedef cint& ref_to_cint;       

void func(ref_to_cint refVal, int initVal){
   refVal = initVal;
}

В этом примере ref_to_cint является ссылкой на const-квалифицированный тип. Переменная refVal типа ref_to_cint должно быть инициализировано при func вызывается и не изменяется впоследствии. Изменение нарушает договор, подразумеваемый const квалификатор.

Одна из возможных коррекций - избежать const в объявлении типа ссылки.

typedef int& ref_to_int;       

void func(ref_to_int refVal, int initVal){
   refVal = initVal;
}