Можно ли написать макрос с параметром, в который можно передавать только массивы но не указатели?


С этим кодом проблема, что он не сработает для массивов размером с указатель.

можно. читай type traits.
а конкретно - is_array<>

Это сообщение отредактировал(а) Alca - 25.8.2012, 01:36

ага. вот только нужно добавить еще три специализации для const/volatile.
или не нужно.

Добавлено через 59 секунд
и конечно же, лучше чтоб вываливался статик_ассерт при передаче указателя.

А нельзя ли эту шаблонную магию сделать полностью статической?


собирается на студии 2005

Это сообщение отредактировал(а) leniviy - 31.8.2012, 10:37

что значит "статической"? а какая еще бывает?

Я про статическую инициализацию.

error C2057: expected constant expression

Так работает:

но это только в С++11

Мне не то что С++11, мне даже из C++ нужна только строгая типизация.

Начиная с gcc  3 (по крайней мере с версии 3.4.4), разность указателей на элементы массива и результат их сравнения являются константой:

Это можно использовать, чтобы в чистом C отличить массив от указателя.
Указатель на массив всегда равен указателю на нулевой элемент массива.
Указатель на указатель не равен указателю на нулевой элемент, разве что это массив указателей, и нулевой элемент указывает сам на себя, но тогда результат сравнения - это не константа.

Тогда к привычному "sizeof(a)/sizeof(a[0])" можно прибавить выражение, которое является нулем, если это массив, и не может скомпилироваться, если это указатель

Добавлено @ 14:49
С gcc 4.3 доступен макрос __COUNTER__ 



Это сообщение отредактировал(а) leniviy - 8.9.2012, 14:50

В более старых версиях gcc можно использовать такой код:


Это сообщение отредактировал(а) leniviy - 8.9.2012, 15:09

даже разрабы GCC, лютые приверженцы идеи что компиляторы должны быть написаны на Си, перешли на разработку с использованием С++ ибо осознали, что Си усложняет решение задач, провоцирует больше ошибок и заставляет рукоблудить неподетски.