具有泛型类型的成员函数的 C++ 模板特化，例如。 std::vector<T>不编译

Question

我对通用结构的成员函数特化有问题。

我的目标是用各种 std::vector.

专门化 Bar 的成员函数运行

#include <iostream>
#include <vector>

// (1) compile
template <typename T> 
struct Foo {
  T Run() { 
    std::cout << "Foo not specialized" << std::endl; 
    return T();
  };
};

// (2) compile
template <typename T> 
struct Foo<std::vector<T>> {
  std::vector<T> Run() { 
    std::cout << "Foo specialized" << std::endl;  
    return std::vector<T>();
   };
};


template <typename T> struct Bar
{
    T Run();
};

// (3) compiles
template<typename T>
T Bar<T>::Run() {
    std::cout << "Bar not specialized" << std::endl;
    return T();
};

// (3) compiles
template<>
std::vector<bool> Bar<std::vector<bool>>::Run() {
    std::cout << "Bar specialized" << std::endl;
    return std::vector<bool>();
};

// (4) wont compile: error: invalid use of incomplete type 'struct Bar<std::vector<T> >
template<typename T>
std::vector<T> Bar<std::vector<T>>::Run() {
    std::cout << "Bar specialized" << std::endl;
    return std::vector<T>();
};

int main(int argc, char const *argv[]) {
  Foo<bool> f1;
  bool rf1 = f1.Run();

  Foo<std::vector<int>> f2;
  std::vector<int> rf2 = f2.Run();

  Bar<bool> b1;
  bool rb1 = b1.Run();

  Bar<std::vector<bool>> b2;
  std::vector<bool> rb2 = b2.Run();

  Bar<std::vector<int>> b3;
  std::vector<int> rb3 = b3.Run();

  return 0;
};

它不会编译见 (4) 如果我注释掉它可能会起作用。有没有办法让这个工作。提前谢谢你。

Demo not compiling

Demo compiling

Answer 1

模板函数不能部分特化。

你可以用蹦床和超载来做。喜欢 Run(){ DoRun(*this) 然后写 DoRun 重载。

具有泛型类型的成员函数的 C++ 模板特化，例如。 std::vector<T>不编译

C++ Template specialization of member function with a generic type eg. std::vector<T> do not compile

c++

generics

templates

template-specialization