Sự khác nhau giữa biến thể :: biến thể và tăng :: là gì?

Question

Trong một answer để

What is the equivalent of boost::variant in the C++ standard library?

nó được đề cập rằng boost::variant và std::variant khác nhau một chút.

• Sự khác biệt, cho đến khi ai đó sử dụng các lớp này là có liên quan?
• Ủy ban thể hiện động lực nào để áp dụng std::variant với những khác biệt này?
• Tôi nên theo dõi điều gì khi mã hóa một trong hai cách này, để duy trì khả năng tương thích tối đa với việc chuyển sang chế độ khác?

(động cơ đang sử dụng boost::variant trong pre-C++ 17)

Answer 1

Có vẻ như những điểm chính của tranh chấp liên quan đến việc thiết kế một lớp biến thể đã được những gì sẽ xảy ra khi một bài tập để các biến thể , mà nên sau khi hoàn thành phá tan những giá trị cũ, ném một ngoại lệ:

variant<std::string, MyClassWithThrowingDefaultCtor> v = "ABC"; 
v = MyClassWithThrowingDefaultCtor(); 

các tùy chọn dường như là:

• Ngăn chặn điều này bằng cách hạn chế các loại có thể thể hiện được đối với các kiểu không thể di chuyển được.
• Giữ giá trị cũ - nhưng điều này yêu cầu bộ đệm đôi (nghĩa là boost::variant hiển nhiên).
• Có trạng thái 'thảnh thơi' không có giá trị cho mỗi biến thể và chuyển đến trạng thái đó trên các lỗi như vậy.
• hành vi Undefined
• Hãy ném biến khi cố gắng đọc giá trị của nó sau khi một cái gì đó giống như điều đó xảy ra

và nếu tôi không nhầm, sau này là những gì được chấp nhận.

_{này được tóm tắt từ ISO C++ trên blog post bởi Axel Naumann từ Tháng Mười Một 2015.}

Answer 2

• hành vi chuyển nhượng/emplacement:

  • boost::variant thể allocate memory when performing assignment thể thành live variant. Có a number of rules that govern when this can happen, do đó, cho dù boost::variant sẽ phân bổ bộ nhớ phụ thuộc vào Ts nó được khởi tạo với.

  • std::variant sẽ không bao giờ phân bổ động bộ nhớ. Tuy nhiên, như một sự nhượng bộ đối với các quy tắc phức tạp của các đối tượng C++, nếu một phép gán/vị trí ném, thì variantcó thể nhập trạng thái "valueless_by_exception". Trong trạng thái này, không thể truy cập variant cũng như bất kỳ chức năng nào khác để truy cập vào một công việc thành viên cụ thể.

    Bạn chỉ có thể nhập trạng thái này nếu chuyển nhượng/vị trí ném.

• Boost.Variant bao gồm recursive_variant, trong đó allows a variant to contain itself. Về cơ bản chúng là các trình bao bọc đặc biệt xung quanh một con trỏ đến một số boost::variant, nhưng chúng được gắn vào máy móc truy cập.

  std::variant không có loại trình trợ giúp như vậy.

• std::variant cung cấp thêm sử dụng các tính năng sau C++ 11. Ví dụ:

  • Trạng thái của hàm thành viên đặc biệt của các loại cấu thành của nó.

  • Nó có các hàm xây dựng tại chỗ dựa trên biến thể và hàm vị trí.

  • Lỗi phân giải applied to C++17 may mean that it will also forward trivial copyability of its types. Tức là, nếu tất cả các loại đều có thể sao chép một cách trivially, thì quá cũng sẽ variant<Ts>.