Тип Полной ссылки const происходит, когда переменная со ссылочным типом объявляется с 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;
}