Có phải hành vi không xác định trong trường hợp gọi hàm riêng trong danh sách khởi tạo không?

Question

Xét đoạn mã sau:

struct Calc 
{ 
    Calc(const Arg1 & arg1, const Arg2 & arg2, /* */ const ArgN & argn) : 
     arg1(arg1), arg2(arg2), /* */ argn(argn), 
     coef1(get_coef1()), coef2(get_coef2()) 
    { 
    } 

    int Calc1(); 
    int Calc2(); 
    int Calc3(); 

private: 
    const Arg1 & arg1; 
    const Arg2 & arg2; 
    // ... 
    const ArgN & argn; 

    const int coef1; // I want to use const because 
    const int coef2; //  no modification is needed. 

    int get_coef1() const { 
    // calc coef1 using arg1, arg2, ..., argn; 
    // undefined behavior?  
    } 
    int get_coef2() const { 
    // calc coef2 using arg1, arg2, ..., argn and coef1; 
    // undefined behavior? 
    } 

}; 

struct Calc không hoàn toàn được xác định khi tôi gọi get_coef1 và get_coef2 là mã này có hiệu lực? Tôi có thể nhận UB không?

Answer 1

12.6.2.8: Chức năng thành viên (bao gồm chức năng thành viên ảo, 10.3) có thể được gọi cho đối tượng đang được xây dựng. Tương tự, đối tượng đang được xây dựng có thể là toán hạng của toán tử typeid (5.2.8) hoặc của dynamic_cast (5.2.7). Tuy nhiên, nếu các hoạt động này được thực hiện trong bộ khởi tạo ctor (hoặc trong một hàm được gọi trực tiếp hoặc gián tiếp từ bộ khởi tạo ctor) trước khi tất cả các bộ khởi tạo mem cho các lớp cơ sở đã hoàn thành, kết quả của hoạt động không được xác định.

Vì vậy, bạn có thể khởi tạo thành viên lớp học theo cách này, nhưng không thể khởi tạo lớp cơ sở. Và, như những người khác đã chỉ ra, bạn nên biết thứ tự khởi tạo thành viên, nếu hàm của bạn sử dụng một số giá trị của chúng.

Answer 2

Vì các biến tính toán của bạn phụ thuộc vào đã được khởi tạo tại thời điểm cuộc gọi, nên không phải là hành vi không xác định. Xem câu hỏi this để biết thông tin liên quan.

Answer 3

Không phải là không xác định, nhưng bạn phải hoàn toàn chắc chắn rằng các chức năng thành viên đó chỉ sử dụng giá trị được khởi tạo. Cũng lưu ý rằng các giá trị được khởi tạo theo thứ tự mà chúng xuất hiện trong lớpkhông phải là thứ tự chúng xuất hiện trong danh sách khởi tạo. Ví dụ:

struct Foo 
{ 
    int a, b; 
    int c; 
    Foo(): c(1), a(1), b(1) {} 
}; 

Trong constructor đó, các biến được khởi tạo theo thứ tự a, b, c sau đó, thứ tự trong danh sách có ý nghĩa gì. Vì vậy, nếu bạn muốn giá trị của a được khởi tạo bằng cách sử dụng một số phép tính trên b và c thì bạn sẽ cần di chuyển khai báo a đến một điểm sau đó là b và c.