templated kiểu dữ liệu đệ quy

Question

Tôi có một kiểu dữ liệu đệ quy như thế này:

template<typename T> 
struct SomeType { 
    std::map<T, SomeType<T>> mapping; 
}; 

SomeType<int> foo; 

này hoạt động tốt, nhưng thay thế std::map với std::unordered_map kết quả trong một lỗi biên dịch do một loại không đầy đủ. Tôi (hoặc gcc) có mắc lỗi ở đâu đó không? hay đây chỉ là một phần của tiêu chuẩn?

Tôi cũng muốn có vùng chứa bên trong được xác định bởi thông số mẫu (như std::stack và std::queue), nhưng tôi không thể tìm ra cách để làm điều đó vì yêu cầu SomeType đã được xác định.

Incomplete dụ:

template<typename T, typename C = std::map<T, SomeType<[???]>>> 
struct SomeType { 
    C mapping; 
}; 

SomeType<int, [???]> foo; 

Tôi biết điều này có thể được thực hiện với gián tiếp runtime, nhưng đó không phải là những gì tôi đang tìm kiếm.

Answer 1

Lớp học của bạn chưa hoàn thành ở bất kỳ đâu trước khi kết quả cuối cùng là }. Vì vậy, thành viên mapping đang sử dụng loại không đầy đủ SomeType trong các đối số mẫu của loại của nó.

The standard does not allow this, and it is pure luck that it works with some STL containers.

câu hỏi thứ hai của bạn thuộc câu trả lời giống nhau - đó là bất hợp pháp để làm điều đó ở nơi đầu tiên.

Answer 2

Bạn không thể xác định mẫu có tham số mặc định đệ quy vì các lý do rõ ràng. Bạn cũng không thể khởi tạo các mẫu container thư viện chuẩn trên các kiểu không đầy đủ, vì tiêu chuẩn nói như vậy (nếu không hành vi không xác định). Thành ngữ PIMPL thông thường có thể trợ giúp, mặc dù:

#include <map> 
#include <memory> 
template <typename T> class SomeType 
{ 
    typedef std::map<T, SomeType<T>> map_type; 
    typedef std::unique_ptr<map_type> map_ptr; 
    map_ptr pimpl; 
public: 
    SomeType() : pimpl(new map_type) { } 
}; 

Answer 3

Trong khi bạn không thể sử dụng loại không đầy đủ với vùng chứa, bạn có thể làm điều đó với con trỏ thông minh. Và trong khi bạn không thể tạo ra các loại mẫu với các thông số loại không xác định, bạn có thể sử dụng một số thủ thuật ở đây:

template<typename T, template <typename U, typename V, typename... Args> class Container = std::unordered_map > 
struct SomeType { 
    Container<T, std::unique_ptr<SomeType> > mapping; 
};