是否可以在另一个模板化的 class 上专门化模板 class 的方法？

Question

我有一个 class A 模板，如果 class 是 std::vector<T>，我想专门化方法 foo() T 通用，我收到错误：不完整类型的无效使用。我想避免为所有可能的向量编写所有专业化。

#include <iostream>
#include <vector>

template<typename V>
struct A {
  void foo() {
    std::cout << "A<V>\n";
  }
};

template<typename T>
void A<std::vector<T>>::foo() {
  std::cout << "A<V<T>>\n";
}

int main() {
  C<int> a;
  C<std::vector<int>> b;

  return 0;
}

Answer 1

如果 foo() 不依赖于 A 的其他元素，您可以通过基础 class 继承它并专门化基础 class.

我的意思如下

template <typename>
struct Base
 { void foo() { std::cout << "A<V>\n"; } };

template <typename ... Ts>
struct Base<std::vector<Ts...>>
 { void foo() { std::cout << "A<V<Ts...>>\n"; } };

template <typename T>
struct A : public Base<T>
 { };

另一种可能的解决方案是标签分派：开发两个 foo() 函数，并根据需要“启用”正确的函数。

例如

template <typename>
struct is_vector : public std::false_type
 { };

template <typename ... Ts>
struct is_vector<std::vector<Ts...>> : public std::true_type
 { };

template <typename T>
struct A
 {
   void foo (std::true_type) { std::cout << "A<V<Ts...>>\n"; }

   void foo (std::false_type) { std::cout << "A<V>\n"; }

   void foo () { foo(is_vector<T>{}); } 
 };

Answer 2

仅使用 c++20 contrians:

template <typename V>
struct A {
  void foo() { std::cout << "A<V>\n"; }

  void foo() requires (std::same_as<V, std::vector<typename V::value_type>>) {
    std::cout << "A<V<T>>\n";
  }
};

然后这个有效：

A<int>{}.foo(); // call normal one
A<std::vector<int>>{}.foo(); // call specialized one

是否可以在另一个模板化的 class 上专门化模板 class 的方法？

Is it possible to specialize a method of a template class on another templated class?

c++

templates

c++20

template-specialization

template-templates