问

变量模板别名作为模板参数(第2部分)

 浪子烦恼猪_309 发布于 2023-02-13 18:42
  • gcc
  • 编译
  • include
  • ios
  • int
  • const

    • 这是另一个问题的后续行动.它指的是同样的问题(我希望),但使用一个完全不同的例子来说明它.原因是在前面的示例中,只有实验性GCC 4.9因编译器错误而失败.在此示例中,Clang和GCC 4.8.1也以不同方式失败:Clang产生意外结果,GCC 4.8.1报告不同的错误消息.

    上一个问题的答案或多或少地说代码是有效的,问题在于GCC的实验版本.但这个结果让我更加怀疑.几个月来我一直困扰着我怀疑有相关(或相同)的问题,这是我第一次有一个小的具体例子来说明.

    所以,这里有一些代码.首先,一些通用代码将SFINAE应用于由可变参数模板别名元函数指定的任意测试F:

    #include 
using namespace std;

using _true  = integral_constant ;
using _false = integral_constant ;

template  using pass = _true;

template