Есть ли лучший способ превратить переменную в «const» после присвоений?

Question

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

void foo() { 
    int flags; 
    /* ... */ 
    if (condition1) 
     flags |= 1; 
    /* .... */ 
    if (conditionX) 
     flags |= Y; 
    /* .... */ 
    // start using flags as a const value 
    const flags; // <<= I want something like this. 
    const int c_flags = flags; // <<= What I have to do. The naming is annoying. 
    /* ... */ 
} 

Есть ли способ улучшить это? Могут быть стили кодирования или расширенные языковые функции.

---

От @Potatoswatter: для C в GCC/лязгом (гну стиль, скажем, -std = gnu11), заявление может быть использовано выражение.

foo() { 
    const int flags = ({ 
    int f = 0; 
    if (X) f |= Y; 
    /* ... update f ... */ 
    f; 
    }); 
    /* use the `const` flags */ 
} 

Answer 1

Рассмотрим сделать функцию, которая возвращает значение, которое вы хотите

const int flags = getFlags(); 

Или более объектно-ориентированный сделать класс флаги, что делает это в конструкторе.

const Flags flags(condition1, ...); 

Answer 2

ИМО это проблема стиля кодирования.

int get_flags() { 
    int flags; 
    .... 
    if (condition1) 
     flags |= 1; 
    .... 
    if (conditionX) 
     flags |= Y; 
    .... 
    return flags; 
} 
void foo() { 
    const int flags = get_flags(); 
    .... 
} 

Answer 3

В C++, вы можете инициализировать переменную, вызвав лямбда-выражение:

const int flags = [&] { 
    int flags = 0; 

    if (condition1) 
     flags |= 1; 
    .... 
    if (conditionX) 
     flags |= Y; 

    return flags; 
}(); 

на любом языке, GCC и Clang (и других GCC-совместимых компиляторов) имеют аналогичную функцию в качестве extension :

const int flags = ({ 
    int flags = 0; 

    if (condition1) 
     flags |= 1; 
    .... 
    if (conditionX) 
     flags |= Y; 

    flags; 
}); 

Answer 4

вы можете просто делегировать инициализацию переменной в функции и присвоить возвращаемое значение версии const вы необходимость. Например:

int bar() { 
    int flags = 0; 
    if (condition1) { 
     flags |= 1; 
    } 
    // ... 
    return flags; 
} 

void foo() { 
    int const c_flags = bar(); 
    // ... 
} 

Это предполагает, что вы можете вставлять condition1, ..., conditionX в bar. Если нет, вы всегда можете использовать функторы (lambdas) для проверки ваших предикатов и обновления flags соответственно.

Answer 5

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

void foo() { 
    int flags; 

    flags = do_stuff_with(flags); 

    take_decisions_based_on(flags); 
} 

где функция будет что-то вроде:

int do_stuff_with (int something); 

void take_decisions_based_on (int something); 

Вам даже не нужно применять константную корректность, так как функции будут иметь дело только с локальными копиями переменной.

Answer 6

Что об использовании троичной оператора:

const int flags = condition1 ? 1 : (condition2 ? 2 : (conditionX ? Y : default_value))