[低水平帖]定义和声明时，星号(*)是靠着类型还是靠着变量

ckf513728912

我喜欢第二种

captivated

回复 22# pmerofc


    非要在一行定义两个指针么。凡定义指针分行写行不。何况，指针的使用哲学不是“定义时即正确地初始化”吗？

    int*  a;  // 这是个野指针。

    严格地说，要么：
    int* p = NULL;
    要么：
    int* p = (int*)malloc(100 * sizeof(int));

    语义上，“*”是修饰类型的。指针是复合类型，就是说，你不可能定义一个类型无关的指针。引用、数组也是一样的。《C++ Primer》里面特别指出的。
    * p; // 啊，这样是定义一个类型无关的指针吗？

    定义指针的时候，你必须指明，这个指针是什么类型的指针(或者说指向什么类型)：
    int* p;

    别说：
    void* p;
    是类型无关的。void* 表示指针是"void"类型。

    所以说：
    TYPE*  p; // 这种方式明确地，区分了，变量，和类型。它表示：变量p是TYPE*类型。对于类属/泛型编程来说，类型和变量的区分很重要。类型是类型，对象是对象。
    而
    TYPE   *p; // 这表示什么呢？表示变量*p是TYPE类型？ no，它的语义仍然是：变量p是TYPE*类型。

captivated

回复 26# pmerofc


    这种就没办法了... 哈哈。

    啊，要是按照类型修饰的说法，应该是这样写：

    int[3]* pary;   // 指向数组的指针。
    int*[] aryp;     // 指针数组

    可惜C没有这样的语法，呵呵

captivated

回复 26# pmerofc


    比如C中声明数组非要这样写：
    int ary[];

    Java、C#之类的，都改成这种写法了(其目的也是在语法风格上强调类型和变量的分离)：
    int[] ary;

三月廿七

回复  pmerofc


    比如C中声明数组非要这样写：
    int ary[];

    Java、C#之类的，都改成这种 ...
captivated 发表于 2011-08-26 12:10

原来我自己的感觉就是权威...