https://www.opennet.me/openforum/vsluhforumID9/9052.html Здрасти, всем.<br><br>Решил собирать проект с опцией -std=gnu99.<br>Все хорошо, но есть один warning и я не понимаю его смысл.<br><br>---&lt;Код proba.c&gt;----------------------------------------<br>#include &lt;stdio.h&gt;<br>typedef unsigned char TMac[6];<br>void f(const TMac* mac)<br>{<br> puts(mac?"mac":"no mac");<br>} <br>int main()<br>{<br> /*const*/ TMac mac;<br> f(&mac);<br> return 0;<br>}<br>---&lt;/Код proba.c&gt;----------------------------------------<br><br>gcc -std=gnu99 -o q proba.c <br>proba.c: In function &#8216;main&#8217;:<br>proba.c:10: warning: passing argument 1 of &#8216;f&#8217; from incompatible pointer type<br>proba.c:3: note: expected &#8216;const unsigned char (*)[6]&#8217; but argument is of type &#8216;unsigned char (*)[6]&#8217;<br><br>Соответственно, если раскоментировать /*const*/ то варнинга не будет.<br><br>Так что же не нравится копилятору и как написать коректно?<br><br>Например, если функция ждет аргумент "const int*", а передается "int*", то все ОК и внутри функции аргумент будет указателем на константный инт.<br>Вроде, у меня ситуа https://www.opennet.me/openforum/vsluhforumID9/9052.html#11 Wed, 02 Mar 2011 22:42:18 GMT &gt; Ещё раз, что же не нравится копилятору и как написать коректно?<br><br>[code]<br>#include &lt;stdio.h&gt;<br><br>typedef unsigned char (*TMac)[6]; /* ахтунг */ <br><br>void f(const TMac * mac)<br>{<br> puts(mac ? "mac" : "no mac");<br>}<br><br>int main()<br>{<br> TMac mac;<br> f(&mac);<br> return 0;<br>}<br>[/code]<br><br><br> https://www.opennet.me/openforum/vsluhforumID9/9052.html#10 Wed, 02 Mar 2011 22:13:59 GMT &gt;&gt; Вот так?<br>&gt;&gt; (Или я не понял что вы спрашиваете) <br>&gt; Не подходит. Вариант с приведением типов уже предлагали выше.<br>&gt; Проблема решилась.<br>&gt; Оказывается: <br><br>1.<br> Большая часть путаницы вокруг указателей в С происходит от<br> непонимания этого утверждения. "Эквивалентность" указателей и<br> массивов не позволяет говорить не только об идентичности, но и<br> взаимозаменяемости.<br><br>"Эквивалентность" относится к следующему ключевому определению:<br><br>значение типа массив-Т, которое появляется<br>в выражении, превращается (за исключением трех случаев)в<br>указатель на первый элемент массива; тип результирующего<br>указателя - указатель-на-Т.<br><br>(Исключение составляют случаи, когда массив оказываетсяоперандом<br> sizeof, оператора & или инициализатором символьной строки для<br> массива литер.)<br><br> Вследствие этого определения нет заметной разницы в поведении<br> оператора индексирования [], если его применять к массивам и<br> указателям. Согласно правилу, приве https://www.opennet.me/openforum/vsluhforumID9/9052.html#9 Tue, 01 Mar 2011 13:11:11 GMT &gt; Вот так?<br>&gt; (Или я не понял что вы спрашиваете) <br><br>Не подходит. Вариант с приведением типов уже предлагали выше.<br><br>Проблема решилась.<br><br>Оказывается:<br><br>1) Mac mac; //mac равен &mac (ну и, конечно всё равно указателя на первый элемент)<br> (операция & к имени массива не действует)<br><br>2) Компилятором трактуются по-разному "указатель на массив" и "указатель на указатель на элемент массива"<br> void f(const TMac* mac); НЕ то же самое что<br> void f(const unsigned char** mac);<br><br>Т.о. в моем случае надо писать<br>void f(const TMac mac);<br>вместо<br>void f(const TMac* mac);<br><br>На мой взгляд, такое поведение компилятора не очевидно, но логика в этом есть.<br><br>Здесь можно найти интересную информацию по теме.<br>http://stackoverflow.com/questions/1810083/c-pointers-pointing-to-an-array-of-fixed-size<br><br>Здесь комментарий на эту тему от разработчика компилятора gcc.<br>http://gcc.gnu.org/ml/gcc-help/2009-12/msg00026.html<br><br>Всем спасибо ;-)<br> https://www.opennet.me/openforum/vsluhforumID9/9052.html#8 Tue, 01 Mar 2011 11:26:29 GMT &gt;&gt; Очевидно компилятор обрабатывает встроенные типы (int,double) и пользовательские по разному <br>&gt; Звучит логично, но это не так.<br>&gt; Если в примере выше TMac определить как структуру, то все ОК.<br>&gt; Проблема именно с массивами (любыми массивами - интов, структур, указателей).<br>&gt; Есть ещё у кого-нибудь варианты :-) <br><br>Вот так?<br> (Или я не понял что вы спрашиваете)<br><br>#include &lt;stdio.h&gt;<br>typedef unsigned char TMac[6];<br>void f(const TMac* mac)<br>{<br> puts(mac?"mac":"no mac");<br>}<br>int main()<br>{<br> /*const*/ TMac mac;<br> f((const TMac *) &mac);<br> return 0;<br>}<br><br> https://www.opennet.me/openforum/vsluhforumID9/9052.html#7 Tue, 01 Mar 2011 09:02:55 GMT &gt;&gt; Очевидно компилятор обрабатывает встроенные типы (int,double) и пользовательские по разному <br>&gt; Звучит логично, но это не так.<br>&gt; Если в примере выше TMac определить как структуру, то все ОК.<br>&gt; Проблема именно с массивами (любыми массивами - интов, структур, указателей).<br>&gt; Есть ещё у кого-нибудь варианты :-) <br><br>Т.к. массивы передаются по указателю, очевидно, что компилятор требует чтобы значения были константными. (В отличие от встроенных типов которые итак копируются на стек, т.е. изменению не подлежат)<br><br> https://www.opennet.me/openforum/vsluhforumID9/9052.html#6 Tue, 01 Mar 2011 08:33:29 GMT &gt; Очевидно компилятор обрабатывает встроенные типы (int,double) и пользовательские по разному <br><br>Звучит логично, но это не так.<br>Если в примере выше TMac определить как структуру, то все ОК.<br>Проблема именно с массивами (любыми массивами - интов, структур, указателей).<br><br>Есть ещё у кого-нибудь варианты :-)<br> <br><br><br> https://www.opennet.me/openforum/vsluhforumID9/9052.html#5 Tue, 01 Mar 2011 08:13:06 GMT &gt;[оверквотинг удален]<br>&gt;&gt; f((const TMac *)&mac); <br>&gt; Да, тогда варнинга не будет. Еще можно убрать const в функции. Да <br>&gt; и на варнинг можно забить.<br>&gt; Но, эти варианты не подходитят.<br>&gt; Задача - разобраться что не нравится компилятору.<br>&gt; На мой взгляд все понятно - ф-ии передается указатель на неконстантный массив, <br>&gt; но функция ждет указатель на константный массив и поэтому внутри ф-ии <br>&gt; массив будет константным и его изменять нельзя.<br>&gt; Если вместо TMac подставить int, то компилятор считает именно так, а вот <br>&gt; с массивом он не понимает.<br><br>Очевидно компилятор обрабатывает встроенные типы (int,double) и пользовательские по разному<br> https://www.opennet.me/openforum/vsluhforumID9/9052.html#4 Tue, 01 Mar 2011 07:34:34 GMT &gt; Для С подойдет приведение типов при вызове: <br>&gt; f((const TMac *)&mac);<br><br>Да, тогда варнинга не будет. Еще можно убрать const в функции. Да и на варнинг можно забить.<br>Но, эти варианты не подходитят.<br><br>Задача - разобраться что не нравится компилятору.<br><br>На мой взгляд все понятно - ф-ии передается указатель на неконстантный массив, но функция ждет указатель на константный массив и поэтому внутри ф-ии массив будет константным и его изменять нельзя.<br><br>Если вместо TMac подставить int, то компилятор считает именно так, а вот с массивом он не понимает.<br><br><br> https://www.opennet.me/openforum/vsluhforumID9/9052.html#3 Tue, 01 Mar 2011 07:04:49 GMT &gt;[оверквотинг удален]<br>&gt; void f(const TMac* mac) <br>&gt; { <br>&gt; puts(mac?"mac":"no mac"); <br>&gt; } <br>&gt; int main() <br>&gt; { <br>&gt; /*const*/ TMac mac; <br>&gt; f(&mac); <br>&gt; return 0; <br>&gt; } <br><br>Для С подойдет приведение типов при вызове:<br>f((const TMac *)&mac);<br>