Bạn có thể sao chép dữ liệu chưa được khởi tạo nếu nó không được sử dụng/thiết lập sau không?

Question

Đoạn mã sau có an toàn không, miễn là tôi không đọc bất kỳ phần tử nào trong mảng của cấu trúc mà không cài đặt nó với giá trị thực trước? Cảm ơn.

const int data_size = 5; 

struct Testing 
{ 
    int data[data_size]; 

    Testing(const int data[data_size]) 
    { 
     std::copy(data, data + data_size, this->data); 
    } 
}; 

int main() 
{ 
    int data[data_size]; 
    data[2] = 57; 

    Testing t(data); 

    t.data[1] = 93; 
} 

Answer 1

std::copy được định nghĩa là làm *(result + n) = *(first + n) cho mỗi phần tử trong dãy (§25.3.1). Giá trị được đưa ra bởi *(first + n) là một biểu thức giá trị (§5.3.1/1), trong trường hợp của bạn đề cập đến một giá trị chưa được khởi tạo. Vì toán tử gán mong đợi một giá trị gia tăng vì nó là toán hạng bên phải (đây là ill-specified), điều này sẽ dẫn đến việc chuyển đổi giá trị rvalue thành rvalue. Chuyển đổi từ rvalue sang rvalue trên một biểu thức đề cập đến một giá trị chưa được khởi tạo là hành vi không xác định (§4.1):

Nếu đối tượng mà glvalue không phải là đối tượng kiểu T và không phải là đối tượng của loại có nguồn gốc từ T, hoặc nếu đối tượng chưa được khởi tạo, một chương trình yêu cầu chuyển đổi này có hành vi không xác định.

Vì vậy, mã của bạn có hành vi không xác định. Các giải pháp là tất nhiên để khởi tạo các yếu tố của mảng (có lẽ với int data[data_size] = {};).