C Language
Неявные и явные конверсии
Поиск…
Синтаксис
- Явное преобразование (иначе говоря, «Кастинг»): (тип) выражение
замечания
« Явное преобразование » также обычно называют «литье».
Целочисленные преобразования в вызовах функций
Учитывая, что функция имеет правильный прототип, целые числа расширяются для вызовов функций в соответствии с правилами целочисленного преобразования, C11 6.3.1.3.
6.3.1.3 Целочисленные и беззнаковые целые числа
Когда значение с целым типом преобразуется в другой целочисленный тип, отличный от _Bool, если значение может быть представлено новым типом, оно не изменяется.В противном случае, если новый тип без знака, значение преобразуется путем многократного добавления или вычитания более чем максимального значения, которое может быть представлено в новом типе, пока значение не будет в диапазоне нового типа.
В противном случае новый тип будет подписан и значение не может быть представлено в нем; либо результат определяется реализацией, либо генерируется сигнал, определяемый реализацией.
Обычно вы не должны усекать широко подписанный тип до более узкого типа, потому что, очевидно, значения не могут соответствовать, и нет четкого значения, которое это должно иметь. Приведенный выше стандарт C определяет эти случаи как «определенные реализацией», то есть они не переносимы.
Следующий пример предполагает, что int
имеет ширину 32 бит.
#include <stdio.h>
#include <stdint.h>
void param_u8(uint8_t val) {
printf("%s val is %d\n", __func__, val); /* val is promoted to int */
}
void param_u16(uint16_t val) {
printf("%s val is %d\n", __func__, val); /* val is promoted to int */
}
void param_u32(uint32_t val) {
printf("%s val is %u\n", __func__, val); /* here val fits into unsigned */
}
void param_u64(uint64_t val) {
printf("%s val is " PRI64u "\n", __func__, val); /* Fixed with format string */
}
void param_s8(int8_t val) {
printf("%s val is %d\n", __func__, val); /* val is promoted to int */
}
void param_s16(int16_t val) {
printf("%s val is %d\n", __func__, val); /* val is promoted to int */
}
void param_s32(int32_t val) {
printf("%s val is %d\n", __func__, val); /* val has same width as int */
}
void param_s64(int64_t val) {
printf("%s val is " PRI64d "\n", __func__, val); /* Fixed with format string */
}
int main(void) {
/* Declare integers of various widths */
uint8_t u8 = 127;
uint8_t s64 = INT64_MAX;
/* Integer argument is widened when function parameter is wider */
param_u8(u8); /* param_u8 val is 127 */
param_u16(u8); /* param_u16 val is 127 */
param_u32(u8); /* param_u32 val is 127 */
param_u64(u8); /* param_u64 val is 127 */
param_s8(u8); /* param_s8 val is 127 */
param_s16(u8); /* param_s16 val is 127 */
param_s32(u8); /* param_s32 val is 127 */
param_s64(u8); /* param_s64 val is 127 */
/* Integer argument is truncated when function parameter is narrower */
param_u8(s64); /* param_u8 val is 255 */
param_u16(s64); /* param_u16 val is 65535 */
param_u32(s64); /* param_u32 val is 4294967295 */
param_u64(s64); /* param_u64 val is 9223372036854775807 */
param_s8(s64); /* param_s8 val is implementation defined */
param_s16(s64); /* param_s16 val is implementation defined */
param_s32(s64); /* param_s32 val is implementation defined */
param_s64(s64); /* param_s64 val is 9223372036854775807 */
return 0;
}
Конверсии указателей в вызовах функций
Преобразование указателей в void*
неявно, но любое другое преобразование указателя должно быть явным. Хотя компилятор допускает явное преобразование любого типа указателя на данные в любой другой тип указателя на данные, доступ к объекту с помощью неправильно введенного указателя является ошибочным и приводит к неопределенному поведению. Единственный случай, когда они разрешены, - если типы совместимы или если указатель, с которым вы смотрите объект, является типом символа.
#include <stdio.h>
void func_voidp(void* voidp) {
printf("%s Address of ptr is %p\n", __func__, voidp);
}
/* Structures have same shape, but not same type */
struct struct_a {
int a;
int b;
} data_a;
struct struct_b {
int a;
int b;
} data_b;
void func_struct_b(struct struct_b* bp) {
printf("%s Address of ptr is %p\n", __func__, (void*) bp);
}
int main(void) {
/* Implicit ptr conversion allowed for void* */
func_voidp(&data_a);
/*
* Explicit ptr conversion for other types
*
* Note that here although the have identical definitions,
* the types are not compatible, and that the this call is
* erroneous and leads to undefined behavior on execution.
*/
func_struct_b((struct struct_b*)&data_a);
/* My output shows: */
/* func_charp Address of ptr is 0x601030 */
/* func_voidp Address of ptr is 0x601030 */
/* func_struct_b Address of ptr is 0x601030 */
return 0;
}