Не может ли компилятор определить, является ли переменная const самой?

Question

Я знаю, что для функции это просто будет встраиваемой:

int foo(int a, int b){ 
    return a + b; 
} 

Но мой вопрос, не может компилятор просто автоматически определит, что это то же самое, как:

int foo(const int a, const int b){ 
    return a + b; 
} 

И так как это может быть обнаружено, зачем мне нужно вводить const? Я знаю, что ключевое слово inline устарело из-за прогресса компилятора. Разве не время, что const сделать то же самое?

Answer 1

Да, компилятор может доказать свою силу в вашем примере.

Нет, это было бы бесполезно :-). (http://www.gotw.ca/gotw/081.htm). Реферат:

• const помогает большинству, делая компилятор и компоновщик, выбирает функции для объектов const, включая функции const-члена, которые могут быть закодированы, чтобы быть более эффективными.
• const не помогает с обычной моделью перевода (отличается от того, что я предполагал); компилятор должен увидеть всю программу для проверки фактической консистенции (которую простая декларация не гарантирует) и ее использования, а также доказать отсутствие наложения псевдонимов ...
• ...и , когда компилятор может видеть всю программу и может доказать фактическую константу, она, конечно, не нуждается в объявлении const больше! Это может доказать это. Duh.
• Одно место, где const имеет большое значение, - это определение , поскольку компилятор может хранить объект в постоянной памяти.

Статья, конечно, стоит прочитать.

Что касается всей оптимизации/перевода программы, которая обычно необходима для использования константы ср. комментарии ниже от amdn и Angew.

Answer 2

не может компилятор просто автоматически определит, что это то же самое, как ...

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

Answer 3

Возможно, он мог бы, но const заявление также для вы. Если вы установите переменную как const и попытаетесь присвоить новое значение, вы получите сообщение об ошибке. Если бы компилятор сам выдал var, это не сработало бы.

Answer 4

Вы не ставите const в результате изменения переменной. Вы используете const до , применяя, вы его не изменяете. Без const вы можете изменить значение. С const компилятор будет жаловаться.

Это вопрос семантики. Если значение не должно быть изменчивым, используйте const, и компилятор выполнит это намерение.

Answer 5

Короткий ответ: потому что не все проблемы такие простые.

Более длинный ответ: Вы не можете предположить, что подход, который работает с простой проблемой также работает со сложной проблемой

Точный ответ: Const это намерение. Основная цель const - предотвратить случайное выполнение вами каких-либо действий. Если компилятор автоматически добавит const, он просто увидит, что этот подход НЕ является const и оставляет его на нем. Использование ключевого слова const приведет к возникновению ошибки.

Answer 6

Определитель констант - это метод, обеспечивающий поведение переменных внутри вашей области действия. Это дает компилятору возможность кричать на вас, если вы попытаетесь изменить их внутри области, где они объявлены как const.

Переменная может быть действительно const (это означает, что она записывается в месте только для чтения, а значит, оптимизация компилятора), если она является константой во время ее объявления.

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

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

Учитывая, что определители констант предназначены главным образом для обеспечения соблюдения кода, и что компиляторы будут генерировать тот же код в 99% случаев, если переменная является константой или не const, а затем NO, компилятор не должен автоматически определять константу.

Answer 7

Компилятор всегда будет знать, что вы сделал и выведет внутреннюю константу из этого, чтобы оптимизировать код.

Что может сделать компилятор never Знаете ли вы, что вы хотели сделать.

Если вы хотел переменную оставаться постоянной, но случайно изменить его позже в коде компилятор может только ловушкой эту ошибку, если вы сообщаете компилятору, что вы хотели .

Это ключевое слово const.

Answer 8

struct bar { 
    const int* x; 
}; 

bar make_bar(const int& x){ 
    return {&x}; 
} 

std::map<int,bar> data; 

shuffle(data); 

зная, что bar никогда не будет изменять x (или вызвать его изменения) в своей жизни требует понимания каждого использования bar в программе, или, скажем, что делает x указатель на const.

Даже при идеальной оптимизации всей программы (которая не может существовать: машины для обучения не совсем понятны), динамическое связывание означает, что во время компиляции вы не можете знать, как будут использоваться данные. const - это обещание, и нарушение этого обещания (в определенных контекстах) может быть UB. Компилятор может использовать этот UB для оптимизации способами, которые игнорируют сломанное обещание.

inline не устарел: это означает то же самое, что и когда-либо, что ликвидирующие ссылки этого символа следует игнорировать, и он мягко предлагает ввести код в область вызова.

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