使用别名的显式模板实例化？

Question

Header.h

template <int>
class FiniteElement {
public:
    int GetDOF();
};

using FiniteElement2D = FiniteElement<3>;
using FiniteElement3D = FiniteElement<6>;

Source.cpp

#include "Header.h"

//template class FiniteElement<3>;
//template class FiniteElement<6>;
template FiniteElement2D;  // Using alias for explicit template instantiation !!!
template FiniteElement3D;

template <int DOF>
int FiniteElement<DOF>::GetDOF() {
    return DOF;
}

Main.cpp

#include "Header.h"
#include <iostream>

int main() {
    FiniteElement3D Elem;
    std::cout << Elem.GetDOF();
    return 0;
}

令我惊讶的是，上面的程序编译并链接到 Visual Studio 2015 Update 3。我喜欢允许将别名用于显式模板实例化的想法，但它似乎不适用于 gcc 或 clang。

它是即将发布的标准的特性还是 VS 的特定特性？

Answer 1

答案是在 cmets 中给出的，但有点伪装，所以我将在这里展开。

MSVC 编译器在这种情况下的工作方式几乎就像在程序代码中进行文本替换一样。它基本上将 FiniteElement2D 的所有文本替换为 FiniteElement<3> - 这样显式实例化对您来说很好。

另一方面，其他编译器为typedef 构建适当的抽象语法树，因此别名的使用不会扩展到显式模板实例化。

顺便说一句，我不确定您希望从您的语法中获得什么样的好处。