如果MSVC拒绝使用没有实例化的模板

以下代码与Clang（4.0）和GCC（6.3）一起编译，但使用MSVC（Visual Studio 2015 Update 1，Visual Studio 2017）失败。如果MSVC拒绝使用没有实例化的模板

template <typename T> 
using ConstRestrict = T const __restrict;

MSVC发出错误：

error C2219: syntax error: type qualifier must be after '*'

但是，下面的代码编译罚款与MSVC：

using ConstRestrictInt = ConstRestrict<int*>;

这是一个编译器错误？标准对此有何评论？

2017-03-18 H Bellamy

请提供[mcve]，不要输入错别字。 **究竟**编译和不？两个陈述在一起？除了？故意你放弃了这个“特意”吗？ – Yakk

不是。这是最小的完整和可验证的例子... https://godbolt.org/g/pqrJFr –

__restrict在C++（任何版本）中不是一个有效的关键字，并且它的使用是为实现保留的，所以没有什么可以使您的代码有效的#define。

MSVC拒绝你的代码是符合标准的。该标准没有要求接受非标准代码。

我这样回答，因为它的language-lawyer和你对标准说的要求。

实际上，它可能是一个执行其__restrict扩展的错误。它应该拒绝这样的别名或接受它。

2017-03-18 01:43:20 Yakk

回答