1 起源

起源是在群里看到了有人分享的关于一个人用 vim 写 latex 的文章，但是它的做法是用了一个 vimtex 的独立插件。 我是个 language server 的狂热使用者，所以我就在找一个用 language server 的处理方案。回忆起来另一次在另一个群里看到的，一个叫做 texlab 的项目，就在 vim 里搞个配合。

我们平时都会使用虚函数来实现 C++ 里的运行时的多态，但是虚函数会带来很多性能上面的问题：

1. 虚函数的调用需要额外的寻址
2. 虚函数不能被 inline，当使用比较小的虚函数的时候会带来很严重的性能负担
3. 需要在每个对象中维护一个额外的虚函数表

但是在有些情况下，我们就可以用一些静态的类型分发策略来带来一些性能上面的好处。

1 Interface In C++

1.1 问题提出

我记得我不止一次提到说，我更喜欢 golang 的泛型设计。一个优秀的泛型系统，我希望是来表示一个方法可以接受什么。应该是一个类似于 concept 的概念。我们都知道，在 C++ 里面，我们更多的使用虚函数来实现这个功能，就像下面这样：

1 故事背景

故事发生在遥远的我在使用C++来处理JSON和对象绑定的时候，我厌倦了写这样的代码:

1 Introduction

// cpp concurrency in action 里的例子

C++17已经发布了有一些时候，并且很多的编译器已经完成了对C++17的支持，那对于C++17中的新特性，我也好奇的玩了一些，其中的几个新特性特别吸引我的注意。