std :: launder alternative pre c ++ 17

Question

它就像std::optional ，但不存儲額外的bool。 用戶必須確保僅在初始化后訪問。

template<class T>
union FakeOptional { //Could be a normal struct in which case will need std::aligned storage object.
    FakeOptional(){}  //Does not construct T
    template<class... Args>
    void emplace(Args&&... args){
        new(&t) T{std::forward<Args&&>(args)...};
    }
    void reset(){
        t.~T();
    }
    operator bool() const {
        return true;
    }
    constexpr const T* operator->() const {
        return std::launder(&t);

    }
    constexpr T* operator->() {
        return std::launder(&t);
    }
    T t;
};

如果您想知道為什么我需要這樣一個模糊的數據結構，請點擊此處： https ： //gitlab.com/balki/linkedlist/tree/master

題

1. 可以忽略std::launder嗎？ 我猜不會。
2. 由於std::launder僅在c ++ 17中可用，如何在c ++ 14中實現上面的類？ boost::optional和std::experimental::optional應該需要類似的功能還是使用編譯器特定的魔法？

---

注意：很容易遺漏，類型被聲明為union 。 這意味着T構造函數實際上沒有被調用。 參考： https ： //gcc.godbolt.org/z/EVpfSN

Answer 1

不，你不能。 提出std::launder的原因之一是std::optional在C ++ 14中無法實現。 您可以參考此討論以獲取詳細信息。

另一方面，您可以在沒有constexpr情況下實現一個。 我們的想法是使用一個緩沖區reinterpret_cast ，因為結果reinterpret_cast總是引用到新創建的對象（在C ++ 17 std::launder仍然是必需的，但在C ++中14，這是好的）。 例如，

template<class T>
struct FakeOptional { 
    FakeOptional(){}  
    template<class... Args>
    void emplace(Args&&... args){
        new(&storage) T{std::forward<Args&&>(args)...};
    }
    void reset(){
        reinterpret_cast<T*>(&storage)->~T();
    }
    operator bool() const {
        return true;
    }
    const T* operator->() const {
        return reinterpret_cast<const T*>(&storage);
    }
    T* operator->() {
        return reinterpret_cast<T*>(&storage);
    }
    std::aligned_storage_t<sizeof(T), alignof(T)> storage;
};

boost::optional的實現使用了這個想法 ，並沒有實現constexpr語義（您可以參考其源代碼了解詳細信息）。