C адрес параметра функции?

Question

Гарантировано ли безопасное/переносное использование адреса параметра функции в компиляторе, совместимом с C89/C99?

В качестве примера, AAPCS для 32-разрядной ARM использует регистры r0-r3 для передачи параметров, если параметры функции соответствуют определенным требованиям размера и выравнивания. Я бы предположил, что использование адреса параметра, прошедшего через регистр, приведет к неожиданным результатам, но я проверил тест на компиляторе ARM, который я использую, и, похоже, он переместит эти параметры в стек, если код пытается ссылаться на адреса этих параметров. Хотя это будет выглядеть безопасно в моем конкретном приложении, мне интересно, гарантировано ли это в архитектуре (с компилятором, совместимым с ANSI/ISO), который может напрямую использовать регистры для передачи параметров функции.

Знают ли стандарты это поведение?

Answer 1

В C единственными значениями, которые вы не можете принимать адреса, являются битовые поля (которые не могут отображаться в функциональных параметрах) и переменные или функциональные параметры класса хранения register. Абсолютно безопасно принимать адрес параметра, но имейте в виду, что аргументы передаются по значению, поэтому вы должны убедиться, что вы не используете адрес локальной переменной или параметра по истечении срока его службы.

Как правило, у компилятора есть проход, где он проверяет, какие локальные переменные и параметры являются операндами для унарных операторов &. Затем их копируют в подходящую часть ОЗУ, когда это необходимо. Вызывающее соглашение не влияет на это.