ConfigParser使用SFINAE实现get_as<type>()

Question

因此，为了更深入地了解元编程，我尝试编写一个配置文件解析器，它可以 return 使用

将解析值作为特定类型

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

喜欢界面。由于我在内部将解析后的配置文件存储为 string-string 映射，因此在我可以 return 之前我仍然需要转换大部分数据。所以我使用 type_traits header 来根据请求的类型转换数据。我做了以下假设：

所有非平凡类型都必须提供一个构造函数，该构造函数采用 std::string 来构造它们自己。
如果字符串拼写为真（不偏不倚 lower/upper/mixedcase），则字符串为真，如果拼写为假，则字符串为假，否则我们引发异常

实施仅 header，可以在我的 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 类型中并可能被大量处理。

可能存在一个默认存档，如果您正在阅读的文件缺少一个字段，则会从中读取该存档。

ConfigParser使用SFINAE实现get_as<type>()

ConfigParser using SFINAE to implement get_as<type>()

c++

templates

metaprogramming

sfinae