有沒有像std :: value_wrapper與std :: reference_wrapper並行的東西？

Question

（更新：這個問題從價值具有用於const Foo和Foo不同的含義對象通過包裝類，基於entirely on strong opinions from people here此舉的實現源於之前，我一直在身邊掠過const Foo*和Foo*當包裝來了，我換了Wrapper<Foo>和const Wrapper<Foo>現在很清楚，機械替代沒有意義，我將需要更復雜的東西，如Wrapper<Foo>和Wrapper<const Foo> ...雖然我沒有知道如何正確地寫出這些，誤解的道歉，但我會保留在這裏，因爲我實際上認爲它比許多問題更能揭示出來）

---

在尋找到this question，它似乎歸結爲平行的想法，你不能做到這一點：

const Foo defaultFoo (6502); 
const Foo theFoo (getConstFoo()); // returns const Foo for privilege reasons 
if (theFoo.getBar() < 2012) { 
    theFoo = defaultFoo; // Error. 
} 
// ...you want to do const-safe methods with theFoo... 

就像引用一個常量的值不能再定位。執行以下操作將編譯，但不會是我（在這種情況下的）將被打算：

Foo defaultFoo (6502); 
Foo& theFooRef (getFooRef()); 
if (theFooRef.getBar() < 2000) { 
    theFooRef = defaultFoo; // Not an error, but not a retarget. 
} 
// ...you want to do stuff with theFooRef... 

看來（從我的理解）是reference_wrapper可以解決此在基準情況下，像：

Foo defaultFoo (6502); 
std::reference_wrapper<Foo> theFooRef (getFooRef()); 
if (theFooRef.get().getBar() < 2000) { 
    theFooRef = std::ref(defaultFoo); 
} 
// ...do stuff with theFooRef.get() or employ implicit cast... 

我不知道是否有一個「value_wrapper」在那裏它做類似的事情。對我來說，想要一個變量來保存一個項目的值是常量正確性的常量，這並不是因爲你不會改變它。 （例如，在預訂treewalk中跟蹤當前節點，儘管只有對該樹中的節點具有const訪問權限，其中將前一節點傳遞給函數是如何獲得新節點）

如果你想成爲笨重，你可以使用std::pair<const Foo, bool>，只是忽略了bool：

const Foo defaultFoo (6502); 
std::pair<const Foo, bool> theFooBool (getConstFoo(), false); 
if (theFooBool.first.getBar() < 2012) { 
    theFooBool = std::pair<const Foo, bool> (defaultFoo, false); 
} 
// ...do const-safe methods with theFooBool.first... 

但有解決這個，除了實現自己的「value_wrapper」版本的更好的辦法？

Answer 1

如果你想成爲笨重，你可以使用std ::對，只是忽略布爾：

這清楚地解釋了爲什麼你想要什麼不能做，因爲this code doesn't work.我用const int，而不是const Foo，但它是一樣的想法。這條線是它打破：

theFooBool = std::pair<const Foo, bool> (defaultFoo, false); 

的拷貝賦值運算符不宣const，因爲根據定義，複製分配改變的對象。 const是當你希望對象不可更改時使用的。

當然，你可以使用std::reference_wrapper<const T>，它會給你const訪問，但允許重新綁定。當然，它不提供價值語義，但是這與您將要獲得的一樣接近。一般來說，大多數人不需要甚至不需要這個，所以它還沒有出現。

Answer 2

我很抱歉，如果我在這裏忽略了一些東西。但由於你的問題沒有提到它，我想知道你是否知道，並已考慮：

Foo defaultFoo (6502); 
std::reference_wrapper<const Foo> theFooRef (getFooRef()); 
if (theFooRef.get().getBar() < 2000) { 
    theFooRef = std::cref(defaultFoo); 
} 
// ...do stuff with theFooRef.get() or employ implicit cast...