template之类相关

虚函数模板

在我们使用模板从来都没有将虚函数与模板进行套用, 那么这两者能不能同时连用呢?

这个直接来写代码验证才知道.

1
2
3
4
5
6
7
8
9
class point {
public:
  template <class T> virtual T getX() { return x; }

private:
  int x;
};

int main() { exit(0); }

分别用了g++和clang编译

1
2
3
4
5
6
// g++
virtual_template.cpp:17:4: error: templates may not be ‘virtual’
    virtual T getX()
// clang
virtual_template.cpp:17:4: error: 'virtual' cannot be specified on member function templates
                        virtual T getX()

可以看出来clang更加准确的指出了virtual不能是member function templates.

为什么虚函数不能是模板函数?

  • 编译器在编译类的定义的时候就必须确定该类的虚表大小.
  • 模板只有在运行调用时才能确认其大小, 两者冲突. 结果显而易见.

模板拷贝构造函数

模板与不同模板之间不能直接的赋值(强制转换), 毕竟模板一般都是类和函数都不是普通的类型. 但是类有拷贝构造函数, 所以我们可以对类的构造函数进行修改, 也就成了模板构造函数.

模板拷贝构造函数与一般的拷贝构造函数没有什么区别, 仅仅实在加了一个模板作为返回值类型

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
template <class T> class tmp {
public:
  tmp() : x(0) {}
  template <class U> tmp(const tmp<U> &t) { x = t.x; }

private:
  T x;
};

int main() {
  tmp<int> t1;
  tmp<char> t2;
  t1 = t2;

  exit(0);
}