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-квалифицированный тип изменяется после объявления.

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

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

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;
}