Kiểm soát thứ tự của hàm tạo đối tượng tĩnh

Question

Tôi đang viết một hạt nhân nhỏ với C++ 11 và có hai cá thể cùng loại mà phải được tạo trước khi bất kỳ đối tượng tĩnh nào khác được tạo.

Mã tôi đã viết như sau:

// test.hpp 
class test { 
    // blahblah... 
}; 

// test.cpp 
typedef char fake_inst[sizeof(test)] __attribute__((aligned(alignof(test)))); 

fake_inst inst1; 
fake_inst inst2; 

// main.cpp 
extern test inst1; 
extern test inst2; 

int kmain() { 
    // copy data section 

    // initialize bss section 

    new (&inst1) test(); 
    new (&inst2) test(); 

    // call constructors in .init_array 

    // kernel stuffs 
} 

Nó xây dựng và các công trình như mong đợi mà không có tin nhắn cảnh báo, nhưng không phải với LTO.

Tôi nhận được rất nhiều thông báo cảnh báo phàn nàn về loại đối sánh và tôi tự hỏi liệu có giải pháp nào không vì nó làm tôi bối rối khi tìm thấy thông báo lỗi hoặc cảnh báo 'thực' khác.

Bất kỳ đề xuất nào?

Answer 1

Có lẽ như thế này?

// ... .h 
template<typename T> 
union FakeUnion { 
    FakeUnion() {} 
    ~FakeUnion() {} 

    T inst; 
}; 

extern FakeUnion<test> inst1_; 
extern FakeUnion<test> inst2_; 
static constexpr test& inst1 = inst1_.inst; 
static constexpr test& inst2 = inst2_.inst; 
// ... .h end 

// ... .cpp 
FakeUnion<test> inst1_; 
FakeUnion<test> inst2_; 
// ... .cpp end 

Trong vòng main, sau đó bạn có thể nói new (&inst1) test;. Nó không nên đưa ra cảnh báo về loại vi phạm không nhất quán nữa bây giờ, bởi vì không giống như trong mã của bạn, mã này không chứa các biến có các loại khác nhau trong các tệp khác nhau.

Answer 2

Bạn có thể sử dụng thuộc tính init_priority của GCC không?

Some_Class A __attribute__ ((init_priority (2000))); 
Some_Class B __attribute__ ((init_priority (543))); 

http://gcc.gnu.org/onlinedocs/gcc/C_002b_002b-Attributes.html#C_002b_002b-Attributes

Answer 3

// in an .h file 

typedef char fake_inst[sizeof(test)] __attribute__((aligned(__alignof__(test)))); 

extern fake_inst fake_inst1; 
extern fake_inst fake_inst2; 

inline test& f_inst1() { return *reinterpret_cast<test*>(fake_inst1); } 
inline test& f_inst2() { return *reinterpret_cast<test*>(fake_inst2); } 

// and for readability 

static test& inst1 (f_inst1()); 
static test& inst2 (f_inst2()); 

Hy vọng rằng cả hai inst1 và f_inst1() sẽ được tối ưu hóa ra.

Answer 4

C++ không cung cấp cho bạn các cách quản lý thứ tự khởi tạo cho các đối tượng chung trên nhiều tệp. Nếu bạn cần quản lý thứ tự khởi tạo của các đối tượng này một cách chặt chẽ, thì tôi khuyên bạn mạnh mẽ để không biến chúng thành các đối tượng toàn cầu. Đặt chúng thành các hàm toàn cục chứa các đối tượng tĩnh và trả về các con trỏ cho chúng.

Nhưng ngay cả khi đó, điều đó ít nguy hiểm hơn việc khởi chạy thủ công hoàn toàn. Chỉ cần thực hiện một vài gợi ý cho những đối tượng có sẵn cho những người cần chúng (tốt nhất là không phải trên toàn cầu), và bạn sẽ ổn thôi.