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

ConfigParser using SFINAE to implement get_as<type>()

本文关键字：ConfigParser gt lt type 实现 SFINAE get as 使用      更新时间：2023-10-16

因此，为了深入了解元编程，我尝试编写一个配置文件解析器，该解析器可以使用将解析的值作为特定类型返回

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

类接口。由于我将解析后的配置文件作为字符串映射存储在内部，所以在返回之前，我仍然需要转换大部分数据。因此，我使用type_traits标头根据请求的类型转换数据。我做了以下假设：

  • 所有非平凡类型都必须提供一个构造函数，该构造函数使用std：：字符串来构造自身
  • 字符串为true，如果它们拼写为true（对小写/大写/混合大小写公正），则为false，如果字符串拼写为false，则引发异常

该实现仅为标题，可以在我的github页面上找到。

/// 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接口吗？

异常应该是异常。

您应该审核配置文件，并确保不会发生异常：无论是在保存时，还是在可能的版本中，都可以检测到旧版本。然后，配置文件无效的故障现在属于例外情况。

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

将配置数据的布局和序列化链接起来。像这样的归档系统

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类型中，并可能进行批量处理。

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

相关文章：