在基于模板参数的模板实例化时发出警告

Issue warning on template instantiation based on template arguments

本文关键字：实例化 警告 于模板 参数      更新时间：2023-10-16

我们希望发出编译器警告，如果我们的标头的用户使用某些模板化类型实例化模板，到目前为止我们通过模板专用化做到了这一点：

#include <deque>
#include <vector>
template <typename T, template <typename...> class CONTAINER>
struct select_container {
  using _t =
      CONTAINER<T>;  // we don't have custom allocators for most containers
};
template <typename T>
struct select_container<T, std::vector> {
  using _t = std::vector<T>;  // meant for custom allocator
};
template <typename T>
struct select_container<T, std::deque> {
  using _t = std::deque<T>;  // custom allocator should also go here
  [[deprecated("We won't stop you from using deque, but please think twice "
               "(link to wiki).")]]
  constexpr static inline int __bad() {
    return 0;
  }
  enum { _bad = __bad() };
};
int foo() {
  select_container<int, std::vector>::_t vector_version;
  // select_container<int, std::deque>::_t deque_version;
  return vector_version[0];
}

这在 g++7 中完成了这项工作（当代码中deque_version时会发出警告，只要它被注释掉，就不会发出警告）。但是，对于 g++-8 和 clang++ 5 到 8，即使没有实例化select_container（即从源中删除foo），也会始终发出警告。请参阅编译器资源管理器。

使用别名上的属性：

template <typename T>
struct  select_container<T, std::deque> {
  using _t [[deprecated("We won't stop you from using deque, but please think twice "
               "(link to wiki).")]] = std::deque<T>;  // custom allocator should also go here
};

这适用于 gcc 和 clang 主干。演示。

相关文章：