Использует адрес неинициализированной переменной UB?

Этот небольшой код UB?Использует адрес неинициализированной переменной UB?

void Test() 
{ 
    int bar; 
    printf("%p", &bar); 
}

IMO это не UB, но я хотел бы получить некоторые другие мнения.

Он просто печатает адрес bar, даже если bar не был инициализирован.

источник

2016-10-07 Michael Walz

Как насчет 'printf ("% d ", bar);'? Я помню, что некоторые обсуждения различались между неопределенными и неопределенными ... –

'printf ("% p ", &bar);' -> 'printf ("% p ", (void *) &bar);'. Это, вероятно, не имеет решающего значения для вашего вопроса, но C стандарт требует этого. – usr

@EugeneSh. 'printf ("% d ", bar);' определенно UB, он будет печатать все, что находится в памяти, по адресу 'bar'. –

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

Адрес в (Нью-Йорк) переменной (автоматический, в данном случае) имеет определенное значение а, так независимо от того, инициализируется сама переменная или нет, адрес переменной является определено значение. Вы можете использовать это значение. (, если вы не имеет дела с указателями и делать двойное разыменование. :))

Тем не менее, строго говоря, вы должны написать

printf("%p", (void *)&bar);

%p, как ожидает аргумент типа указателя на void и printf() является вариационной функцией, не продвижение по службе (конверсия). В противном случае это четкое поведение.

C11, глава §7.21.6.1

p Аргумент должен быть указателем на void. [.....]

источник

2016-10-07 13:32:57

Но не 'void *' совместим с любым типом указателя? –

@MichaelWalz как? –

@MichaelWalz, любой указатель может быть * преобразован * в тип 'void *', но такое преобразование не происходит с переменными аргументами, такими как второй и последующие аргументы 'printf()'. –

Такое поведение хорошо определено.

Адрес переменной известен. Тот факт, что он не был явно инициализирован, не имеет значения.

источник

2016-10-07 13:32:15 dbush

Это небольшой код UB?

Да, это UB, так как спецификатор преобразования pтребует в void -указатель.

С другой стороны, ниже код не вызывает UB

void Test(void) 
{ 
    int bar; 
    printf("%p", (void*) &bar); 
}

как адрес bar хорошо определен был самостоятельно ли bar сам инициализирован.

источник

2016-10-07 14:26:15 alk

Использует адрес неинициализированной переменной UB?

ответ

Смежные вопросы