проверка класса в макросе

[Алексей++]

как на этапе компиляции проверить, что переданный аргумент является именно экземпляром определённого класса ZZZ ?

например я подразумеваю, что передадут объект CString

Код:

#define def_xxxx(par_CString) \
  ...\
  ...

что приписать в макросе, чтобы , если передан объект не класса CString, компилятор ругался бы ?

[Антон (LogRus)]

у меня два предложения(вообще их больше)
1. создай inline функцию получающую CString, но которая ничего не делает и вызывай её в макросе
2. создай шаблонную функцию у которой в теле будет что-то на вроде BOOST_STATIC_ASSERT(true) для CString сделай специализацию с пустым телом.

[Алексей++]

LogRus, что за BOOST_STATIC_ASSERT ?

а вот с функцией мысля )  , спасибо

Код:

//контроль типа переменной на этапе компиляции
#ifdef _DEBUG
	#define def_check_type(type_name,variable) \
		{\
			struct s_control\
			{\
				s_control(type_name* pvar){pvar=0;}\
			};\
			\
			s_control::s_control(&variable);\
		}
#else
	#define def_check_type(type_name,variable)

#endif


	CString txt;
	CString* ptxt;
	int n;
	char ch;
	char* pch;

	def_check_type(CString,txt); // только тут не ругаецо, как и нужно )
	def_check_type(CString,ptxt);
	def_check_type(CString,n);
	def_check_type(CString,ch);
	def_check_type(CString,pch);

[Антон (LogRus)]

BOOST_STATIC_ASSERT генерирует ошибку на этапе компиляции если аргумент = true

вот такой код
template<class T1, class T2>
check_same(T2)
{
    BOOST_STATIC_ASSERT((boost::is_same<T1,T2>::value));
}

далее вместо
def_check_type(CString,pch);
пишем
check_same<CString>(pch);

вот и всё так можно проверить что правильно передан параметр
естественно эта функция не очень полезна вне шаблов, потому как вне шаблонов мы обычно и так знаем типы переменных внутри функций.

[Алексей++]

чёта мне как-то макросы ближе и роднее )

а BOOST_STATIC_ASSERT всё равно не нашёл...

[Антон (LogRus)]

Алексей1153++, www.boost.org, а макросы это зло не гоже програмисту на c++ использовать макросы если конечно это не исключительный случай

можно без буста сделать
template<int n> struct compile_error
{
   int i[n];
}

template<class T>
check_CStringType(T)
{
   compile_error<0> c;
}

template<> check_CStringType<CString>(CString){}

[nikedeforest]

Алексей, а какой смысл тогда создавать макрос, если можно просто вызывать функцию? Тем более, что ты это и делаешь в самом макросе

[Алексей++]

nikedeforest, всё нормально. Это можно и в макросе и не в макросе делать )

LogRus, макросы - это не зло. А спорить не буду )

[nikedeforest]

Алексей, на самом деле высказывание "макросы - зло" родили корефеи программинга, ты же не будешь спорить, что "goto - зло"?
А про функцию я спросил просто потому, что не понял, в чем смысл оборачивать функцию макроса. Получается, что макрос чисто ради макроса.

[Алексей++]

nikedeforest, GOTO - я это просто никогда не использую.  Но и ты же не скажешь, что алкоголь - это зло?

>>Получается, что макрос чисто ради макроса.
вовсе нет. Просто как одну глобальную функцию оформить не удасться, потому что туда нельзя будет подставить имя типа данных.
Или шаблон или макрос, иного нету

[Джон]

А с макросом тоже не получится, тк в итоге тебе надо вызывать всё-таки ф-ю с определённым типом. С шаблоном можно попробовать. Но шаблоны работают на этапе выполнения, на этапе компиляции объектов может вобще ещё не существовать. Но зачем такие заморочки?

Сделай родительский класс

Код:

class CMyDefinedClass
{
       CMyDefinedClass() { m_stClassName = _T("undefined"); }
       CMyDefinedClass(CString stClassName) { SetClassName(stClassName); }

       CString GetClassName() { return m_stClassName; }
       void SetClassName(CString stClassName) { m_stClassName = stClassName; }

       BOOL IsKindOf(const CString &stClassName)
       {
           return (BOOL)(m_stClassName.Compare(stClassName)==0);
       }

private:
     CString m_stClassName;
};

и все свои объекты наследуй от него с инициаллизацией ессно. Кстати MFC работает почти так-же IsKindOf. ТОлько запись информации о классе осуществляется в макросах DECLARE_XXX

Это в том случае если я правильно понял, что ты хочешь. Не думаю, что тебе просто надо проверять тип объекта передаваемого в ф-ю. Реакция на это уже и так есть, или в форме ошибки, или в форме предупреждения. Так что...

[Алексей++]

Джон, как-то есть макрос не работает ? У меня уже работает )

и именно на этапе компиляции.
И мне этого макроса достаточно уже...

[Джон]

"Не верю!" (с) Покажи.

зы на этапе компиляции я говорил про шаблон

[Алексей++]

Джон, пост #2 )

[Антон (LogRus)]

Но шаблоны работают на этапе выполнения, на этапе компиляции объектов может вобще ещё не существовать. Но зачем такие заморочки?

А вот тут ты не прав. Предложеный мной шаблон будет работать на этапе компиляции, опять же не стоить забывать о такой вещи, как метапрограммирование с использование шаблонов.

[Джон]

А ну всё понятно. У меня просто на "всё читать" времени нет, и раз темка продолжается я думал решения ещё нет. Те тебе надо то, про что я меньше всего думал. Те фактически ты сдела макрос, который проверяет, а такого ли типа переменная, как я её объявил. Но ума не приложу - ЗАЧЕМ???

Ведь если у тебя есть ф-я с параметром типаА, а ты передаёшь в неё параметр типаБ, то всё-равно получишь замечание или ошибку. На этапе компиляции. Тебе даже место покажут. Так зачем огрод городить?

Это вопрос риторический, а не призыв к дискуссии. Тебе конечно видней. "Просто хотелось бы узнать, в какой части
Восточной Магистрали устраиваются люди." (с)

[Джон]

LogRus, там вобще-то модальный глагол стоит - "может". ЕЩЁ раз я не всё прочитал и не во все коды вникал!!! Я не имел ввиду именно ТВОЙ шаблон, у меня нет времени проверять АБСОЛЮТНО ВСЁ.

[Алексей++]

да я как бы уже нашёл решение. Если хотите - можете и развить...

Джон, это мне только надо ) Патамучта я привык к макросам, вот такой я плохой )) . А функции тут ни при чём - иногда мне надо в макросе не ошибиться и  именно определённый тип сунуть туда.

теперь я наконец понял, зачем шаблоны - именно для контроля типа ) Больше от макроса ничем для меня они не отличаются...
Поразбираюсь на досуге )

[Антон (LogRus)]

теперь я наконец понял, зачем шаблоны - именно для контроля типа ) Больше от макроса ничем для меня они не отличаются...
Поразбираюсь на досуге )

Ну ладно пускай, хотя ты и не прав.

LogRus, там вобще-то модальный глагол стоит - "может". ЕЩЁ раз я не всё прочитал и не во все коды вникал!!! Я не имел ввиду именно ТВОЙ шаблон, у меня нет времени проверять АБСОЛЮТНО ВСЁ.

Мой разорвёт именно при компиляции.

[Джон]

Да нет, я не про макросы и ф-ции (я одинаково лояльно отношусь и к тем и к другим, а так же к goto и водке). Я про смысл этой проверки вобще, что можно выяснить увидев, например, ошибку компилятора?

[Алексей++]

LogRus,
>>Мой разорвёт именно при компиляции
  --прямо бонбу соорудил   Ахтомную )

Джон, я ж сушшество по сути своей косячное )  просто самоконтроль

кстати, если кто обратил внимание - там написано у меня  #ifdef _DEBUG )

часто также делаю вставки в конструкторы структур - например
#ifdef _DEBUG
  if(sizeof(*this)!=17)throw;
#endif

- это когда надо не забыть что то подправить, если что то добавил в структуру. При запуске в дебаге место ловится , а вот проверка
 #if ...
 #error "ошибка"
 #endif

 - почему то не во всех случаях срабатывает (