Question

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

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

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

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

所有非平凡的类型必须提供一个构造函数，它使用std :: string来构造它们自己。
字符串是真的，如果它们拼写为真（对于lower / upper / mixedcase不公平），如果拼写错误则为false，否则我们引发异常

该实现仅限标题，可在我的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>（）

1 个答案: