可变长模板参数,用using就能编译过,内联就编译失败,为什么?

cdsfiui

如题，我采用variadic template来实现一个求和函数，如下所示，没有问题:

1. 
   
2. template<class Head, class... Tail>
   
3. Head sum(Tail&&... value)
   
4. {
   
5.    Head sum=0;
   
6.    using noop=int[];
   
7.    noop { (sum+=value, 0)... };
   
8.    return sum;
   
9. }
   
10. int main()
    
11. {
    
12.     cout<<output<int,int>(1,3,9)<<endl;
    
13.     return 0;
    
14. }
    

复制代码

输出13，没有问题。
如果我把sum函数里面的using noop那行去掉，直接改成内联的声明:

1. 
   
2. template<class Head, class... Tail>
   
3. Head sum(Tail&&... value)
   
4. {
   
5.    Head sum=0;
   
6.    int []{ (sum+=value, 0)... };
   
7.    return sum;
   
8. }
   

复制代码

就有编译错误，除非我给这个数组取个任意的名字

1. 
   
2. error: expected unqualified-id before '[' token|
   

复制代码

为什么用了using，编译就没有问题，using类似于typedef吧。而不用using，就必须有个变量名?
区别在哪里?

谢谢。

windoze

using noop=int[]相当于typedef
int []{ (sum+=value, 0)... }是个变量定义

变量定义得有个名字这是语法规定

bruceteen

按楼上大侠所言，改为 (int[]){ (sum+=value, 0)... }; 就行了

cdsfiui

windoze 发表于 2015-11-30 14:33
using noop=int[]相当于typedef
int []{ (sum+=value, 0)... }是个变量定义

谢谢，难道 noop { (sum+=value, 0)... }; 不算是变量定义吗? 那它算什么呢?

windoze

回复 4# cdsfiui

仔细看了看，还真不一定是变量定义的问题，搞不好是"[]{...}"把编译器搞傻掉了，这东西是一个lambda的格式

cdsfiui

windoze 发表于 2015-11-30 18:22
回复 4# cdsfiui

仔细看了看，还真不一定是变量定义的问题，搞不好是"[]{...}"把编译器搞傻掉了，这东西 ...

你说的粉有道理。