如何用C++中的多個返回值進行初始化（0x）

Question

tuple in boost以及TR1/C++ 0x爲從函數返回兩個值提供了一個方便（用於函數的作者）方法 - 但是它似乎

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

但：

tuple<T,U> sad(); 

我們要麼必須交出挑一的能力，簡單地使用功能初始化變量的能力：呼叫者的語言傷害其一大特色我們的返回值有意義的名稱，並使用get<n>()無處不在：

const auto two_unrelated_things(sad()); 

或作臨時：

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

或初始化分配，僅當該類型分配工作的切換，並打破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(); 

或對本地班級做一些不自然的事情：

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 

有沒有更好的方法？我使用上面的VC10兼容構造，將完全C++ 0x或提升幫助？

理想的情況下它會：

• 允許我使用初始化，而不僅僅是分配
• 讓呼叫者挑名字返回，到變量
• 沒有作出額外的副本
• 爲堆棧變量和類成員工作
• 可能是一個大型的瘋狂模板庫，但對調用者和函數編寫者

Answer 1

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

我不知道你的第四子彈手段，但滿足所有的休息。

*編輯：根據你上面的評論，我想出了你的意思是第四個子彈。

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; 
} 

根據需要進行修改。

如果返回的值非常不相關，那麼您也可以根本不使用std::tuple，因此您必須將它們拆分以便合理使用它們。人們多年來一直在返回struct s，其中包含合理命名的字段，或者接受輸出的參考參數。

順便說一句，你似乎愛上了auto。不要。它的一個很好的功能，但這是而不是它應該使用的方式。如果您不時指定類型，您的代碼將變得難以辨認。