ConfigParser使用SFINAE實現

Question

所以爲了get_as （），以獲得更多的進元編程我試圖用一個

template<typename T> T get_as(std::string key) 

一樣的界面，編寫一個配置文件解析器可以返回解析值作爲一個特定的類型。由於我在內部將解析的配置文件存儲爲字符串映射，因此我仍然需要在轉換大部分數據之前將其返回。所以我使用type_traits頭來根據請求的類型來轉換數據。我做了以下假設：

• 所有非平凡類型都必須提供一個構造函數，它需要一個std :: string來構造它們自己。當且僅當它們拼寫錯誤，否則，我們拋出一個異常

實現是頭只，可以在我的github page找到

字符串是真的當且僅當他們拼出真（公正，以降低/上/混合詞），假。

/// INTEGRAL TYPES 
template<class T, typename std::enable_if<std::is_integral<T>::value && !std::is_same<bool, T>::value>::type* = nullptr> 
T get_as(std::string key) 
{ 
    // Implementation 
} 

/// FLOATING TYPES 
template<class T, typename std::enable_if<std::is_floating_point<T>::value>::type* = nullptr> 
T get_as(std::string key) 
{ 
    // Implementation 
} 

/// BOOL 
template<class T, typename std::enable_if<std::is_same<bool, T>::value>::type* = nullptr> 
T get_as(std::string key) 
{ 
    // Implementation 
} 

/// COMPLEX TYPE 
template<class T, typename std::enable_if<std::is_class<T>::value>::type* = nullptr> 
T get_as(std::string key) 
{ 
    // Implementation 
} 

我有的問題是，這是否是一個好的設計來拆分我這樣執行取決於請求的類型。或者是否有更好的方法來實現類型相關的get_as接口？

Answer 1

例外情況應該是例外。

您應該審覈配置文件，並確保不會發生任何異常：保存和可能的版本，以便您可以檢測舊版本。那麼配置文件無效的故障現在是例外。

也可能不是加載字符串字符串映射，而是在加載時加載配置數據，而不是在使用位置。

將配置數據的佈局和序列化連接起來。一個檔案系統，如：

struct config { 
    int x; 
    std::string bar; 
    bool b; 

    template<class A, class Config, 
    std::enable_if_t<std::is_same<std::decay_t<Config>, config>>::value, int>* =nullptr 
    > 
    friend void Archive(A& a, std::string name, Config& config) { 
    auto tag = Archive(a, name, ArchiveTag); 
    Archive(a, "x", config.x); 
    Archive(a, "bar", config.bar); 
    Archive(a, "b", config.b); // etc 
    } 
}; 

現在我們有一個檔案系統，以類型安全的方式保存和加載。類型錯誤被提前發現。錯誤可能是例外情況，或者說存儲在Archive類型中，並且可能處理的是整體。

如果您正在閱讀的文件缺少一個字段，那麼可能存在從中讀取的默認存檔。