У меня есть интерфейс, в котором содержимое каждой функции создается с помощью большого макроса. Если программист добавляет новую функцию и забывает добавить эту функцию в класс интерфейса, это создает много ошибок компиляции, которые отвлекают от фактической ошибки.
Можно ли во время компиляции утверждать, что функция, использующая этот конкретный макрос, является членом определенного класса? Доступны функции C++03 или Boost.
#define MACRO_OF_THE_DOOM(...) assertion_here(); do_something();
class A {
void functionA();
void functionB();
};
// This is valid usage
void A::functionA() {
MACRO_OF_THE_DOOM(1, 2, 3, 4, 5);
}
// This should give an understandable compile error, which tells
// definition should be A::functionB()
void functionB() {
MACRO_OF_THE_DOOM(6, 7, 8);
}
Ответ 1 · рейтинг 1 · bashrc
Вы можете использовать BOOST_STATIC_ASSERT.
#define MACRO_OF_THE_DOOM(...) { assertion_here(); do_something(); }
assertion_here() { BOOST_STATIC_ASSERT(false); }
class A {
assertion_here() { // no-op }
void functionA();
void functionB();
};
Есть несколько предостережений по этому поводу, которые можно обойти с помощью type_traits, но этого решения может быть достаточно для многих случаев.
Ответ 2 · рейтинг 1 · marcinj
Можно ли во время компиляции утверждать, что функция, использующая этот конкретный макрос, является членом определенного класса?
Если вам доступен boost (я понимаю, что вы не можете использовать c++11), то я предлагаю Библиотека TTI. Ниже пример с комментариями:
http://coliru.stacked-crooked.com/a/66a5016a1d02117c
#include <iostream>
#include <boost/tti/has_member_function.hpp>
#include <boost/static_assert.hpp>
BOOST_TTI_HAS_MEMBER_FUNCTION(functionA)
BOOST_TTI_HAS_MEMBER_FUNCTION(functionB)
class A {
public: // must be public for tti
void functionA();
//void functionB();
};
int main()
{
// prints 1
std::cout << has_member_function_functionA<
A, // class type to check
void, // function return type
boost::mpl::vector<> >::value // parameter list
<< std::endl;
// Below generates no compile error - prints 0
std::cout << has_member_function_functionB<
A, // class type to check
void, // function return type
boost::mpl::vector<> >::value // parameter list
<< std::endl;
// Below static assertion, will fail at compile time
BOOST_STATIC_ASSERT(
(has_member_function_functionB<A,void,boost::mpl::vector<> >::value));
}
Я обновил его, чтобы сделать его совместимым с С++ 03, к сожалению, статическое утверждение без С++ 11 генерирует довольно критическое сообщение:
main.cpp: In function 'int main()':
main.cpp:32:5: error: invalid application of 'sizeof' to incomplete type 'boost::STATIC_ASSERTION_FAILURE<false>'
BOOST_STATIC_ASSERT(
^
main.cpp:32:5: error: template argument 1 is invalid
BOOST_STATIC_ASSERT(
^
