C++17模板元编程优化：非特化get方法禁用与push_back存在性检测

原写法依赖返回值类型不匹配触发编译错误，报错信息模糊，属于非明示的hack实现。更优方案是使用绑定到模板参数的static_assert，可输出自定义的清晰报错提示：
首先定义一个辅助模板结构体：

template <typename T>
struct dependent_false : std::false_type {};

然后替换主模板get的实现：

template <typename ValueType>
ValueType get(unsigned idx) const {
    static_assert(dependent_false<ValueType>::value, 
                  "Unsupported type for row::get, only int/long/std::string/const char* are allowed");
}

注意不能直接写static_assert(false, "...")，不依赖模板参数的常量false会在模板定义阶段直接报错，哪怕你从未实例化过不支持的类型版本。

你当前使用自定义类型trait + if constexpr的写法本身就是C++17标准下的最佳实践之一，无更简洁的原生实现方案。如果希望进一步拆分逻辑、提升可维护性，可以改用SFINAE重载的调度模式，把插入逻辑和主业务逻辑解耦：

// 适配有push_back的容器
template <typename Container, typename T>
std::enable_if_t<has_push_back<Container>::value>
container_add(Container& c, T&& val) {
    c.push_back(std::forward<T>(val));
}

// 适配无push_back、用insert的容器
template <typename Container, typename T>
std::enable_if_t<!has_push_back<Container>::value>
container_add(Container& c, T&& val) {
    c.insert(std::forward<T>(val));
}

修改后single_column的核心逻辑可以简化，去掉分支判断：

template <typename ContainerType>
ContainerType single_column(const std::vector<row>& rows, unsigned col = 0) {
  ContainerType values;
  using ValueType = typename ContainerType::value_type;
  for (auto&& row: rows) {
    container_add(values, row.get<ValueType>(col));
  }
  return values;
}

这种写法的优势是后续如果要支持更多容器的特殊插入逻辑，只需要新增对应的container_add重载即可，不需要修改single_column的主逻辑。如果你的场景不需要后续扩展，原有的if constexpr写法已经足够简洁高效。

内容的提问来源于stack exchange，提问作者Oliver Schönrock