哪位解释一下这个复杂的表达式

Lrj

表达式如下：

1. int* (*(*anyCallback)int *( * )[n])[n]

复制代码

据说是一本叫《C++程序设计陷阱》的书里的，找了一本这书的电子版，结果是加密的。。。-.-
书里对这个表达式的解释是：

1. 这是一个指向函数的指针，而这个函数用指向数组的指针作为参数，这个数组由指向int的n个指针构成，而且这个函数返回相同类型的指针

复制代码

对int *( * )[n]的解释是

1. 由指向int的n个指针构成的数组的指针

复制代码

但是，对这解释怎么想怎么一头雾水。。。。

首先，
int (*xxoo)[n]表示一个指向数组的指针
int (*func())[n]则表示一个函数，它的返回值是一个指向数组的指针

那么，
int*(*xxoo)[n]表示一个指向数组的指针的指针？

这样，就有了int *(*func())[n]

那么，int* (*(*anyCallback)int *( * )[n])[n]中的*(*anyCallback)int *( * )[n]该怎么解释呢？难道是*(*anyCallback)(int *( * )[n])的简写？

哪位能给详细解释一下这个表达式？

[ 本帖最后由 Lrj 于 2008-4-1 00:28 编辑 ]

scutan

原帖由 Lrj 于 2008-3-31 23:46 发表
表达式如下：
int* (*(*anyCallback)int *( * )[n])[n];

据说是一本叫《C++程序设计陷阱》的书里的，找了一本这书的电子版，结果是加密的。。。-.-
书里对这个表达式的解释是：
这是一个指向函数的指针， ...

你下面这个语句是不是有点问题？

1. 
   
2. int* (*(*anyCallback)int *( * )[n])[n];
   

复制代码

应该为：

1. 
   
2. int* (*(*anyCallback)(int *( * )[n]))[n];
   

复制代码

Lrj

呵呵，我刚编辑了一下贴子，提出了这个问题
这个式子是同学msn给我的，原始表达式我也没见到。。。。
不知道有没有这种省略的方式

[ 本帖最后由 Lrj 于 2008-4-1 00:29 编辑 ]

scutan

原帖由 Lrj 于 2008-4-1 00:28 发表
呵呵，我刚编辑了一下贴子，提出了这个问题
这个式子是同学msn给我的，原始表达式我也没见到。。。。
不知道有没有这种省略的方式

应该不是简写。

Lrj

那可能是我同学抄错了吧，明天去确认一下。。。。
谢谢scutan~

scutan

1. 
   
2. int* (*(*anyCallback)(int *( * )[n]))[n];
   

复制代码

是一个函数指针的形式，只能作为声明，不能作为定义。
即相当于是void (*p)();
如果需要定义，则应该用下面的形式。
即相当于是void p() {}

1. 
   
2. int *(*anyCallback(int* (*)[n]))[n];
   

复制代码

它所表示的意思就是说：
anyCallback是一个函数，它返回的是一个指针，这个指针指向是一个数组，这个数组有n个元素，每个元素都为一个int*类型。
而anyCallback有一个参数，这个参数是一个指针，这个指针是指向一个数组，数组类型为int*，长度为n。

[ 本帖最后由 scutan 于 2008-4-1 01:10 编辑 ]

scutan

A simple test

1. 
   
2. #include<stdio.h>
   
3. #include<stdlib.h>
   
4. 
   
5. const int n = 10;
   
6. 
   
7. int *(*(*any2)(int* (*arg)[n]))[n];
   
8. 
   
9. int *(*any(int* (*arg)[n]))[n]
   
10. {
    
11.         int i;
    
12.         int *(*a)[n];
    
13. 
    
14.         a = (int* (*)[n])malloc(sizeof(int* (*)[n]) * n);
    
15.         if (a == NULL)
    
16.         {
    
17.                 return NULL;
    
18.         }
    
19.         for (i = 0; i < n; i++)
    
20.         {
    
21.                 a[0][i] = (int*)((int)(arg[0][i]) + 10);
    
22.         }
    
23.         return a;
    
24. }
    
25. 
    
26. int main()
    
27. {
    
28.         int i;
    
29.         int *(*b)[n];
    
30.         int *(*c)[n];
    
31. 
    
32.         b = (int* (*)[n])malloc(sizeof(int* (*)[n]) * n);
    
33.         if (b == NULL)
    
34.         {
    
35.                 printf("malloc b error\n");
    
36.                 exit(1);
    
37.         }
    
38.         for (i = 0; i < n; i++)
    
39.                 b[0][i] = (int*)(i+1000);
    
40. 
    
41.                 any2 = any;
    
42. 
    
43.         c = any2(b);
    
44.         if (c != NULL)
    
45.         {
    
46.                 for (i = 0; i < n; i++)
    
47.                 {
    
48.                         printf("%d,%d\n", (int)b[0][i], (int)c[0][i]);
    
49.                 }
    
50.         }
    
51.         else
    
52.                 printf("any error\n");
    
53.         return 0;
    
54. }
    
55. 
    

复制代码

Lrj

程序报错：variably modified ‘any2’ at file scope
另外，上午确认了一下，那本书上就是这样写的：int* (*(*anyCallback)int *( * )[n])[n]
这下就奇怪了。。。。根本不符合语法嘛。。。。难道是从IOCCC里流传出来的。。。-.-

scutan

原帖由 Lrj 于 2008-4-1 14:57 发表
程序报错：variably modified ‘any2’ at file scope
另外，上午确认了一下，那本书上就是这样写的：int* (*(*anyCallback)int *( * )[n])[n]
这下就奇怪了。。。。根本不符合语法嘛。。。。难道是从IOCCC里 ...

我是用VC来编译的, 你如果用GCC编译的话将那个
const int n = 10;
改为
#define n 10
就可以了. 也可以直接在linux下用G++编译即可.

Lrj

嗯，编译通过了，可为什么会有这种区别呢，报错是针对修改any2的啊