Cách khởi tạo với nhiều giá trị trả lại bằng C++ (0x)

Question

tuple khi tăng và TR1/C++ 0x cung cấp phương thức thuận tiện (cho người viết hàm) trả về hai giá trị từ hàm - tuy nhiên dường như thiệt hại một đặc điểm quan trọng của ngôn ngữ cho người gọi: khả năng chỉ đơn giản là sử dụng chức năng để khởi tạo một biến:

T happy(); 
const auto meaningful_name(happy()); // RVO means no excess copies 

nhưng đối với:

tuple<T,U> sad(); 

chúng tôi hoặc đã từ bỏ các khả năng để chọn một tên có ý nghĩa cho giá trị trả lại của chúng tôi và sử dụng get<n>() ở khắp mọi nơi:

const auto two_unrelated_things(sad()); 

hoặc thực hiện một tạm thời:

const auto unwanted_named_temporary(sad()); 
const auto one_name(get<0>(unwanted_named_temporary)); 
const auto two_name(get<1>(unwanted_named_temporary)); 

hoặc chuyển từ khởi sự phân công, mà chỉ hoạt động khi các loại được chuyển nhượng, và phá vỡ auto:

tuple_element<0, decltype(sad())>::type one_mutable; // there might be a less 
tuple_element<1, decltype(sad())>::type two_mutable; // verbose way 
tie(one_mutable,two_mutable) = sad(); 

hoặc làm điều gì đó không tự nhiên với một lớp học địa phương:

const struct ugh { 
    ugh(decltype(sad()) rhs) : one_name(get<0>(rhs)), two_name(get<1>(rhs)) {} 
    const tuple_element<0, decltype(sad())>::type one_name; 
    const tuple_element<1, decltype(sad())>::type two_name; 
} stuff(sad()); // at least we avoid the temporary and get initialization 

Có cách nào tốt hơn không? Tôi đang sử dụng VC10 tương thích xây dựng ở trên, sẽ bất cứ điều gì trong đầy đủ c + + 0x hoặc tăng giúp đỡ?

Lý tưởng nhất là nó sẽ:

• cho phép tôi sử dụng khởi tạo, không chỉ là nhiệm vụ
• để cho gọi chọn tên cho trở-thành biến
• không làm bản sao thêm
• làm việc cho cả biến ngăn xếp và thành viên lớp học
• có thể là thư viện mẫu lớn, nhưng có cú pháp sane cho người gọi và người viết hàm

Answer 1

std::tuple<Type1, Type2> returnValue = sad(); 
Type1& first = std::get<0>(returnValue); 
Type2& second = std::get<1>(returnValue); 

Tôi không chắc chắn đạn thứ tư của bạn là gì, nhưng thỏa mãn tất cả những gì còn lại.

* chỉnh sửa: Dựa trên nhận xét của bạn ở trên, tôi đã tìm ra ý nghĩa của bạn bằng dấu đầu dòng thứ tư.

struct Object { 
    Object(const std::tuple<Type1, Type2>& t) : value(t) { } 
    Type1& First() { return std::get<0>(value); } 
    Type2& second() { return std::get<1>(value); } 
private: 
    std::tuple<Type1, Type2> value; 
} 

Sửa đổi khi cần.

Bạn cũng có thể không sử dụng std::tuple nếu tất cả các giá trị trả về không liên quan đến nhau mà bạn phải chia chúng để chúng được sử dụng hợp lý. Mọi người đã nhận được trong nhiều năm trở lại struct s với các trường được đặt tên hợp lý hoặc bằng cách chấp nhận tham số tham chiếu cho đầu ra.

Là một sang một bên, bạn dường như đang yêu auto. Đừng thế. Đó là một tính năng tuyệt vời, nhưng đây là không phải là cách sử dụng. Mã của bạn sẽ kết thúc không đọc được nếu bạn không chỉ định các loại theo thời gian.