模板遞歸類型

我有這樣一個遞歸類型：模板遞歸類型

template<typename T> 
struct SomeType { 
    std::map<T, SomeType<T>> mapping; 
}; 

SomeType<int> foo;

這工作正常，但更換std::map與std::unordered_map導致編譯錯誤，由於不完全類型。我（或gcc）在某處發生錯誤嗎？或者這只是標準的一部分？

我還想通過模板參數（例如std::stack和std::queue）確定內部容器，但是我找不到一種方法來完成它，因爲這需要定義SomeType。

不完整的例子：

template<typename T, typename C = std::map<T, SomeType<[???]>>> 
struct SomeType { 
    C mapping; 
}; 

SomeType<int, [???]> foo;

我知道這可以運行間接來完成，但是這不是我要找的。

來源

2012-03-25 strcat

標準庫容器模板需要實例化他們完整的類型;一切都是未定義的行爲。你必須忍受這一點。不過，您可以使用pimpl解決方案來解決這個問題。 – 2012-03-25 13:45:44

@KerrekSB是這樣嗎？該死，我經常編寫n-ary樹，其節點是用'std :: vector children'來實現的。 – 2012-03-25 13:46:42

@KonradRudolph：好的，你必須確保在實例化時類型已經完成。這可能是一個微妙的問題。 – 2012-03-25 13:57:51

您的課程在其定義的最終}之前的任何地方都不完整。因此mapping成員在其類型的模板參數中使用不完整類型SomeType。

The standard does not allow this, and it is pure luck that it works with some STL containers.

你的第二個問題屬於相同的答案下 - 它是非法的這樣做擺在首位。

來源

2012-03-25 13:44:27 Irfy

嗯。不幸的是，我不理解這篇文章中關於爲什麼'std :: map '不完整的類型原則上不能工作的論點。這不是很像'std :: vector >'，哪個*可以*原則上工作（'std :: pair '不完整）？其他容器也一樣。 – 2012-03-25 16:23:22

如果這需要解釋，我建議打開一個聊天室，這並不難，只是不適合評論部分...現在，我該如何明確地打開一個聊天室關於這... – Irfy 2012-03-25 16:31:11

讓我們在這裏聊天：http：///chat.stackoverflow.com/rooms/9282/stl-with-incomplete-types – Irfy 2012-03-25 16:34:00

出於顯而易見的原因，您無法定義具有遞歸默認參數的模板。您也不能在不完整類型上實例化標準庫容器模板，因爲標準是這樣說的（否則它是未定義的行爲）。通常PIMPL方法可能會有所幫助，但是：

#include <map> 
#include <memory> 
template <typename T> class SomeType 
{ 
    typedef std::map<T, SomeType<T>> map_type; 
    typedef std::unique_ptr<map_type> map_ptr; 
    map_ptr pimpl; 
public: 
    SomeType() : pimpl(new map_type) { } 
};

來源

2012-03-25 13:52:22

boost :: container庫爲大多數STL類型提供了替代方案，這些類型允許不完整類型的遞歸容器。它目前不提供unmarked_map – mark 2012-03-26 07:47:02

@mark：謝謝，這很好理解！ – 2012-03-26 08:03:55

雖然你不能使用不完全類型與容器，你可以用智能指針做到這一點。雖然你不能創建未定義類型參數模板類型，你可以使用一些技巧，在這裏：

template<typename T, template <typename U, typename V, typename... Args> class Container = std::unordered_map > 
struct SomeType { 
    Container<T, std::unique_ptr<SomeType> > mapping; 
};

來源

2012-03-25 14:24:27 Lol4t0

是否有可能更改第一行，使Container的默認值爲std :: vector？ – 2015-01-25 11:36:44

@NielsLohmann，從技術上講，你可以編寫'template class Container = std :: vector>'，但它會與'std :: unordered_map'不一致。因爲地圖是_assosiative_ conrtainer，矢量只是一個數組。 – Lol4t0 2015-01-25 20:15:58

模板遞歸類型

回答

相關問題