c++ - ConfigParser 使用 SFINAE 实现 get_as()

Question

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

将解析后的值作为特定类型返回

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

喜欢界面。由于我在内部将解析后的配置文件存储为字符串-字符串映射，因此我仍然需要转换大部分数据才能返回它。所以我使用 type_traits header 根据请求的类型转换数据。我做了以下假设:

• 所有非平凡类型都必须提供一个构造函数，该构造函数采用 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 接口(interface)？

Answer 1

异常(exception)应该是异常(exception)。

您应该审核配置文件并确保不会发生异常:在保存时以及可能对其进行版本控制时，以便您可以检测到旧版本。那么配置文件无效的故障现在是异常的。

也有可能不是加载字符串-字符串映射，而是应该在加载时而不是在使用时加载带有验证的配置数据。

将配置数据的布局和序列化链接起来。一个归档系统，如:

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 类型中并可能被大量处理。

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