通过数组原型的声明限制数组值的改变

#include <stdio.h>

int add(int a[]);

int main()
{
    const int a[2]={1,100};
    //a[0]=a[0]+1;//限制成功,编译器报错不能改变数组值
    add(a);//限制失败，a[0]变为2
    printf("%d",a[0]);
    return 0;
}

int add(int a[])
{
    a[0]++;
    return 0;
}

可以看到调用add(a)后，限制失败。而我在声明和初始化数组的时候已经cosnt限制了，为什么限时失败了？？
如果想在函数中限制改变数组，必须在函数声明和定义时的形参上限制吗？如下

#include <stdio.h>

int add(const int *);//加const限制

int main()
{
    const int a[2]={1,100};
    //a[0]=a[0]+1;//限制成功,编译器报错不能改变数组值
    add(a);
    printf("%d",a[0]);
    return 0;
}

int add(const int a[])//加const限制
{
    a[0]++;//编译器报错，不能更改
    return 0;
}

为什么第一种不可以限制修改数组值呢？？

第一段代码，参数类型不匹配你的编译器竟然没报错？这不科学。

你什么编译器啊，这么垃圾，连这种错误都检测不出来？

[此贴子已经被作者于2017-4-8 20:38编辑过]

真没报错，而且好像没有不匹配吧。。。

你看2楼，我传的图片，编译器提示参数类型不匹配。

难道我编译器太先进了？？用的code::blocks
但是下面有个worning，呵呵

[此贴子已经被作者于2017-4-8 20:42编辑过]

连这种错误都检测不出来？这还叫先进？
而且你的编译器报错了！！！你这是选择性无视吗？

[此贴子已经被作者于2017-4-8 20:42编辑过]

那么说明第一种限制修改数组值得方法也是可行的了？？

是可以的。
但是为什么会允许这种错误通过编译，就不得而知。

报了warnning,编译器是MinGW的gcc....

我在6楼就说了啊，你的编译器是报错了的，但是你无视了。