Các tham số mẫu mặc định với khai báo chuyển tiếp

Question

Có thể chuyển tiếp khai báo một lớp sử dụng đối số mặc định mà không chỉ định hoặc biết các đối số đó không?

Ví dụ: tôi muốn khai báo một lớp boost::ptr_list<TYPE> trong lớp Traits mà không cần kéo toàn bộ thư viện Boost vào mọi tệp bao gồm các đặc điểm. Tôi muốn tuyên bố namespace boost { template<class T> class ptr_list<T>; }, nhưng điều đó không làm việc bởi vì nó không chính xác phù hợp với khai báo lớp đúng:

template < class T, 
    class CloneAllocator = heap_clone_allocator, 
    class Allocator = std::allocator<void*> 
    > 
class ptr_list { ... }; 

đang lựa chọn của tôi chỉ để sống với nó hoặc để xác định boost::ptr_list< TYPE, boost::heap_clone_allocator, std::allocator<void*> trong lớp học đặc điểm của tôi không? (Nếu tôi sử dụng sau này, tôi cũng sẽ phải chuyển tiếp tuyên bố boost::heap_clone_allocator và bao gồm <memory>, tôi giả sử).

Tôi đã nhìn qua cuốn sách Stroustrup của, SO, và phần còn lại của mạng Internet và đã không tìm thấy một dung dịch. Thông thường mọi người lo ngại về việc không bao gồm STL và giải pháp là "chỉ bao gồm các tiêu đề STL". Tuy nhiên, Boost là một thư viện lớn hơn và biên dịch nhiều hơn, vì vậy tôi muốn bỏ nó ra, trừ khi tôi hoàn toàn phải làm vậy.

Answer 1

Bất kỳ đơn vị biên dịch nào sử dụng cơ sở của bạn mà công cụ tăng cường chuyển tiếp sẽ cần bao gồm tiêu đề tăng, ngoại trừ trường hợp bạn có một số chương trình không thực sự sử dụng phần tăng cường của cơ sở.

Đúng là bằng cách chuyển tiếp, bạn có thể tránh bao gồm tiêu đề tăng cho các chương trình như vậy. Nhưng bạn sẽ phải tự bao gồm các tiêu đề tăng (hoặc có một #ifdef) cho những chương trình thực sự sử dụng phần tăng cường.

Hãy nhớ rằng có thể thêm nhiều thông số mẫu mặc định hơn trong bản phát hành Tăng cường trong tương lai. Tôi khuyên bạn nên chống lại con đường này. Những gì tôi sẽ xem xét, nếu mục tiêu của bạn là để tăng tốc độ biên dịch, là sử dụng #define để cho biết liệu mã sử dụng thư viện tăng cường đó có bị vô hiệu hay không. Bằng cách này bạn tránh được rắc rối khai báo về phía trước.

Answer 2

Tôi không nghĩ bạn có thể chuyển tiếp tuyên bố mẫu với đối số mặc định trừ khi thư viện được đề cập cung cấp tiêu đề khai báo chuyển tiếp của riêng nó. Điều này là do bạn không thể respecify các đối số mặc định (ngay cả khi họ phù hợp ... gcc sẽ vẫn báo cáo "lỗi: redefinition của đối số mặc định").

Vì vậy, để sự hiểu biết của tôi, giải pháp là cho thư viện để cung cấp một về phía trước tiêu đề khai Foo_fwd.h:

#ifndef INCLUDED_Foo_fwd_h_ 
#define INCLUDED_Foo_fwd_h_ 
template<class T, class U=char> class Foo; // default U=char up here 
#endif 

và sau đó thực hiện đầy đủ trong foo.h sẽ là:

#ifndef INCLUDED_Foo_h_ 
#define INCLUDED_Foo_h_ 
#include "Foo_fwd.h" 
template<class T, class U> class Foo { /*...*/ }; // note no U=char here 
#endif 

Vì vậy, bây giờ mã của bạn cũng có thể sử dụng Foo_fwd.h ... nhưng không may, vì phương pháp này yêu cầu sửa đổi Foo.h gốc để xóa các đối số mặc định không quy mô cho thư viện của bên thứ ba. Có lẽ chúng ta nên vận động cho phi hành đoàn C++ 0x để cho phép tương đương tương ứng với các đối số mẫu mặc định, à la typedefs ...?

Answer 3

Vấn đề tương tự ở đây. Nhưng với STL.

Nếu một trong các tiêu đề của tôi sử dụng ví dụ: std :: vector sau đó tôi phải bao gồm toàn bộ tiêu đề. Từ thời điểm này mỗi lần tôi đưa tiêu đề của mình ngay cả khi mã nguồn của tôi không tham chiếu đến std :: vector ở tất cả các tiêu đề được đưa vào cùng với tiêu đề của tôi. Nếu bạn bao gồm tiêu đề này ở rất nhiều nơi sẽ có nghĩa là rất nhiều overparsing.

Vì vậy, tôi chuyển tiếp tuyên bố std :: vector và được sử dụng std :: vector * nhưng mã của tôi không muốn biên dịch do các đối số mặc định. Nếu tôi đặt các đối số mặc định trong tiêu đề của tôi thì trình biên dịch từ chối biên dịch tiêu đề stl do sự tuân thủ đối số mặc định.

Điều tôi đang cố gắng làm trong trường hợp này là tạo lớp Vector của riêng mình điều chỉnh std :: vector và chuyển tiếp mọi lời gọi phương thức tới nó. Có lẽ điều này có thể giải quyết vấn đề.

Answer 4

Có. Các đối số mẫu mặc định có thể được chỉ định bất kỳ lúc nào, ở bất kỳ đâu, miễn là các khai báo không xung đột với nhau. Chúng cuối cùng được hợp nhất với nhau từ các tờ khai khác nhau.

Ngay cả điều này là hợp pháp:

template< class A, class B, class C = long > 
class X; 

template< class A, class B = int, class C > 
class X; 

template< class A = short, class B, class C > 
class X { }; 

Một ví dụ tương tự được đưa ra trong §14.1/10. Theo đoạn đó, các đối số mặc định của hàm hoạt động tương tự.

Chúc bạn may mắn khi nhận được tờ khai chuyển tiếp để hành xử và không bị chặn trên mọi thứ!