Problema Int to Double casting

Question

Soy un desarrollador Objective-C con poca experiencia en C/C++ (y cero capacitación), y encontré algo extraño hoy con valores numéricos codificados.

Estoy seguro de que es una simple pregunta/estúpida, pero por favor alguien puede explicar por qué esto funciona:

NSDate *start = [NSDate date]; 
dispatch_time_t popTime = dispatch_time(DISPATCH_TIME_NOW, 1 * NSEC_PER_SEC); 

dispatch_after(popTime, dispatch_get_main_queue(), ^{ 
    NSLog(@"seconds: %f", [start timeIntervalSinceNow]); 
}); 
// output: seconds: -1.0001 

Y esto también funciona (número de nota de segundos ha cambiado):

NSDate *start = [NSDate date]; 
dispatch_time_t popTime = dispatch_time(DISPATCH_TIME_NOW, 2 * NSEC_PER_SEC); 

dispatch_after(popTime, dispatch_get_main_queue(), ^{ 
    NSLog(@"seconds: %f", [start timeIntervalSinceNow]); 
}); 
// output: seconds: -2.0001 

Pero esto se ejecuta inmediatamente:

NSDate *start = [NSDate date]; 
dispatch_time_t popTime = dispatch_time(DISPATCH_TIME_NOW, 4 * NSEC_PER_SEC); 

dispatch_after(popTime, dispatch_get_main_queue(), ^{ 
    NSLog(@"seconds: %f", [start timeIntervalSinceNow]); 
}); 
// output: seconds: -0.0001 

Sin embargo, utilizando en su lugar 4.04 de lo fija:

NSDate *start = [NSDate date]; 
dispatch_time_t popTime = dispatch_time(DISPATCH_TIME_NOW, 4.0 * NSEC_PER_SEC); 

dispatch_after(popTime, dispatch_get_main_queue(), ^{ 
    NSLog(@"seconds: %f", [start timeIntervalSinceNow]); 
}); 
// output: seconds: -4.0001 

¿Por qué 1 y 2 adecuadamente fundido al valor doble relevante, pero los números más grandes (he probado 3 y 4) parecen estar representado como 0?

Estoy compilando con Xcode 4.2, configurado para usar LLVM 3.0.

EDIT:

dispatch_time_t se define como:

typedef uint64_t dispatch_time_t; 

Y dispatch_time es:

dispatch_time_t dispatch_time(dispatch_time_t when, int64_t delta); 

Y NSEC_PER_SEC es:

#define NSEC_PER_SEC 1000000000 /* nanoseconds per second */ 

Answer 1

Hay 1,000,000,000 de nanosegundos en un segundo, así que supongo que NSEC_PER_SEC se define como 1000000000.

• 4 es de tipo int
• 4.0 es de tipo double

Ahora suponiendo que un int contiene 32 bits, el rango de un int sería [-2,147,483,648 to 2,147,483,647]

4000000000 > 2147483647, por lo tanto causará que el int se desborde, lo que está causando que el valor se vea t a 0.

EDIT: Probablemente podría haber redactado mejor la afirmación anterior. El desbordamiento podría ocasionar que int (suponiendo que tenga un tamaño de 32 bits, como se indicó anteriormente) iguale el valor -294967296, y dispatch_time trataría cualquier valor <= 0 como 0 segundos. De ahí viene el "0" de arriba.

Una variable double puede contener valores mayores que int, y es capaz de almacenar una aproximación del valor 4000000000.

Answer 2

Los dos primeros trabajos, porque 1 * 10^9 y 2 * 10^9 caben en un int firmado de 32 bits. Sin embargo, 4 * 10^9 no cabrán en un int firmado de 32 bits.

4.0 * 10^9 funciona porque el punto flotante puede representar ese valor.

espero que esto también funcionará:

dispatch_time_t popTime = dispatch_time(DISPATCH_TIME_NOW, ((int64_t)4) * NSEC_PER_SEC); 

Answer 3

No sé nada de Objective C, pero mi conjetura es que 4 * NSEC_PER_SEC es demasiado grande para un entero de 32 bits. Al usar 4.0, fuerza la multiplicación en aritmética de punto flotante y soluciona el problema.

actualización

Puede ser código de 64 bits, pero en algunos idiomas (y sé C# es uno) un numéricos predeterminados literales a un entero con signo de 32 bits a menos que se definan explícitamente de otra manera. Eso puede ser lo que está pasando aquí.