template-specialization 相关问题

作为上一个问题的后续：给定一个任意容器，推导出相关类型的容器类型，其中@marek-r建议创建模板专业化，例如：模板作为上一个问题的后续：给出任意容器，推导相关类型的容器类型，其中@marek-r建议创建模板专业化，例如： template<template<typename> typename Wrapper, typename Container> struct repack; template<template<typename> typename Wrapper, typename ValueT, std::size_t N> struct repack<Wrapper, std::array<ValueT, N>> { using type = std::array<Wrapper<ValueT>, N>; }; template<template<typename> typename Wrapper, typename ValueT> struct repack<Wrapper, std::vector<ValueT>> { using type = std::vector<Wrapper<ValueT>>; }; template<template<typename> typename Wrapper, typename Key, typename Value> struct repack<Wrapper, std::map<Key, Value>> { using type = std::map<Wrapper<Key>, Wrapper<Value>>; }; 或链接：https://godbolt.org/z/naz9v48vb 通过尝试使其更通用，我用模板化模板参数交换了 vector 和 map，并通过检查 value_type 是否与 pair<const key_type, mapped_type> 相同：使用 c++20 约束分派每个解决方案 template<template<typename> typename Wrapper, template<typename, typename> typename Mapped_Container, typename Key, typename Value> requires std::is_same_v< typename Mapped_Container<Key, Value>::value_type, std::pair<const typename Mapped_Container<Key, Value>::key_type, typename Mapped_Container<Key, Value>::mapped_type>> struct repack<Wrapper, Mapped_Container<Key, Value>> { using type = Mapped_Container<Wrapper<Key>, Wrapper<Value>>; }; template<template<typename> typename Wrapper, template<typename> typename Unmapped_Container, typename Value> struct repack<Wrapper, Unmapped_Container<Value>> { using type = Unmapped_Container<Wrapper<Value>>; }; 但是这个解决方案似乎只能在 gcc 中编译，在 clang 和 msvc 中失败：https://godbolt.org/z/zzY7WvoEd clang 会报告错误：“隐式实例化未定义模板”，而 msvc 似乎无法专门化别名模板。我在这里遗漏了什么，还是我遇到了编译器扩展？如果类型repack也定义了C，则可以重新实现mapped_type类型特征，以便选择第二部分特化。假设类型特征仅与标准容器一起使用，这足以保证为关联容器选择专门化。可以通过SFINAE或requires-clause添加约束。在这种情况下，首选前者与 C++11 标准兼容。示例： namespace detail { template <template <typename> typename, typename, typename = void> struct repack {}; template <template <typename> typename Wrapper, template <typename...> typename C, typename T> struct repack<Wrapper, C<T>> { using type = C<Wrapper<T>>; }; template <template <typename> typename Wrapper, template <typename...> typename C, typename T, typename U> struct repack<Wrapper, C<T, U>, std::void_t<typename C<T, U>::mapped_type>> { using type = C<Wrapper<T>, Wrapper<U>>; }; } template <template <typename> typename Wrapper, typename C> struct repack : detail::repack<Wrapper, C> {}; template <template <typename> typename Wrapper, typename C> using repack_t = typename repack<Wrapper, C>::type;

c++ c++20 template-meta-programming template-specialization c++-concepts

回答 1 投票 0

为什么分离`std::formatter`专业化的接口和实现会导致约束失败？

我试图将 std::formatter 专门用于基本自定义类型 Vector3D，但收到编译器错误。这是一个最小的可重现示例： vector.h 定义了 Vector3D 类...

c++ c++20 header-files template-specialization stdformat

回答 1 投票 0

基于模板化返回类型的 C++ 函数模板专业化

在 C++20 中，而不是这样做 size_t 计数 = 42； std::vector my_vector; vec.reserve(计数); std::copy_n(std::istream_iterator(std::cin), count, std::back_inserter(vec)); 我想...

c++ templates overloading template-specialization overload-resolution

回答 1 投票 0

带有值模板参数的 C++ 类模板专业化 - 如何优先选择其中一个？

我有以下代码：模板结构组合；模板类型名称 Tpl，类型名称... Ts，类型名称... Us> 结构组合< Tpl<...

c++ templates template-specialization ambiguous specialization

回答 2 投票 0

变量“val”声明中存在 C++ 无关的“template<>”

我正在尝试元编程，以便可以在编译时计算阶乘。这是第一个版本：模板结构体 Fac { 静态常量 int val； }; 模板<> 结构Fa...

c++ templates metaprogramming template-specialization

回答 1 投票 0

用非类型参数特化一个带有类型参数的方法模板

我正在尝试实现一个具有可以处理不同类型的静态成员函数的类模板。我的代码如下所示（非常简单的示例）： #包括结构体 Foo { 特...