Điều này có nghĩa là gì? (int &) a

Question

xác định biến float a, chuyển đổi thành phao & và int &, điều này có nghĩa là gì? Sau khi chuyển đổi, a là một tham chiếu của chính nó? Và tại sao hai kết quả lại khác nhau?

#include <iostream> 
using namespace std; 
int 
main(void) 
{ 
    float a = 1.0; 
    cout << (float &)a <<endl; 
    cout << (int &)a << endl; 

    return 0; 
} 


thinkpad ~ # ./a.out 
1 
1065353216 

Answer 1

cout << (float &)a <<endl; 
cout << (int &)a << endl; 

Người đầu tiên xử lý các bit trong một như đó là một phao. Điều thứ hai xử lý các bit trong một giống như nó là một int. Các bit cho phao 1.0 chỉ tình cờ lại là bit cho số nguyên 1065353216.

Đó là về cơ bản tương đương với:

float a = 1.0; 
int* b = (int*) &a; 
cout << a << endl; 
cout << *b << endl; 

(int &) a phôi a đến một tham chiếu đến một số nguyên. Nói cách khác, một tham chiếu số nguyên đến a. (Mà, như tôi đã nói, xử lý nội dung của một số nguyên.)

Chỉnh sửa: Tôi đang tìm kiếm ngay bây giờ để xem điều này có hợp lệ không. Tôi nghi ngờ rằng nó không phải. Nó phụ thuộc vào loại nhỏ hơn hoặc bằng kích thước thực tế.

Answer 2

Các giá trị khác nhau vì giải thích một float như một int & (tham chiếu đến int) ném những cánh cửa rộng mở. a không phải là int, vì vậy, hầu như mọi thứ có thể thực sự xảy ra khi bạn làm điều đó. Khi điều đó xảy ra, hãy xem số float như đó là một int cung cấp cho bạn 1065353216, nhưng tùy thuộc vào kiến ​​trúc máy cơ bản, nó có thể là 42 hoặc một con voi trong bộ tutu màu hồng hoặc thậm chí là hỏng.

Lưu ý rằng điều này không giống như truyền tới int, hiểu cách chuyển đổi từ float thành int. Truyền tới int & chỉ cần nhìn vào các bit trong bộ nhớ mà không hiểu ý nghĩa ban đầu là gì.

Answer 3

Nó có nghĩa là hành vi không xác định :-).

Nghiêm túc đấy, đây là một hình thức xảo quyệt. a là float, nhưng a cũng là một khối bộ nhớ (thường là bốn byte) với các bit trong đó. (float&)a có nghĩa là để xử lý khối bộ nhớ đó như thể nó là một float (nói cách khác, nó thực sự là gì); (int&)a có nghĩa là coi nó là int. Chính thức, truy cập một đối tượng (chẳng hạn như a) thông qua một biểu thức lvalue với một loại khác với loại thực tế của đối tượng là hành vi không xác định, trừ khi loại là một loại ký tự. Thực tế, nếu hai loại có cùng kích thước, tôi sẽ mong đợi kết quả là sự diễn giải lại mẫu bit.

Trong trường hợp của float, mẫu bit chứa bit cho dấu, số mũ và số nguyên. Thông thường,, số mũ sẽ sử dụng một số ký hiệu thừa, và chỉ 0.0 sẽ có 0 làm số mũ. (Một số biểu diễn, kể cả biểu diễn được sử dụng trên PC, sẽ không lưu trữ bit thứ tự cao của mantissa, vì ở dạng bình thường trong cơ số 2, nó luôn luôn là 1. Trong trường hợp đó, phần lưu trữ cho 1.0 sẽ có tất cả bit 0.) Cũng thường (và tôi không biết bất kỳ ngoại lệ nào ở đây), số mũ sẽ được lưu trữ trong các bit thứ tự cao. Kết quả là khi bạn "gõ pun" một giá trị dấu chấm động cho một số nguyên có cùng kích thước, giá trị sẽ khá lớn, bất kể giá trị dấu phẩy động.