如何解决检查C ++成员是否私有的机制
我正在为本科生编写单元测试,并希望强制某些成员为公共或私人成员。我知道可以实际测试私有成员的方法,例如#define private public
或使用朋友类,但还没有发现任何可以让我准确检查成员是否私有的方法。
蛮力方法会尝试编译并解析输出错误,例如寻找类似error: 'foo' is a private member of 'Bar'
的东西,但我希望有人能有更好的技巧!
解决方法
如果要断言类型.count()
没有名为Bar
的公共成员,可以编写以下测试:
foo
这里是demo。
,您可以使用Clang编译器的AST输出来验证某个成员是私有的还是公共的。例如,对于以下代码:
class test {
public:
int pub;
private:
int prv;
};
运行此命令:clang -Xclang -ast-dump -fsyntax-only t.cpp
给出AST转储:
TranslationUnitDecl 0x55f6f550e3f8 <<invalid sloc>> <invalid sloc>
|-TypedefDecl 0x55f6f550e9b0 <<invalid sloc>> <invalid sloc> implicit __int128_t '__int128'
| `-BuiltinType 0x55f6f550e690 '__int128'
|-TypedefDecl 0x55f6f550ea20 <<invalid sloc>> <invalid sloc> implicit __uint128_t 'unsigned __int128'
| `-BuiltinType 0x55f6f550e6b0 'unsigned __int128'
|-TypedefDecl 0x55f6f550ed68 <<invalid sloc>> <invalid sloc> implicit __NSConstantString '__NSConstantString_tag'
| `-RecordType 0x55f6f550eb10 '__NSConstantString_tag'
| `-CXXRecord 0x55f6f550ea78 '__NSConstantString_tag'
|-TypedefDecl 0x55f6f550ee00 <<invalid sloc>> <invalid sloc> implicit __builtin_ms_va_list 'char *'
| `-PointerType 0x55f6f550edc0 'char *'
| `-BuiltinType 0x55f6f550e490 'char'
|-TypedefDecl 0x55f6f5545bf8 <<invalid sloc>> <invalid sloc> implicit __builtin_va_list '__va_list_tag [1]'
| `-ConstantArrayType 0x55f6f5545ba0 '__va_list_tag [1]' 1
| `-RecordType 0x55f6f550eef0 '__va_list_tag'
| `-CXXRecord 0x55f6f550ee58 '__va_list_tag'
`-CXXRecordDecl 0x55f6f5545c50 <t.cpp:1:1,line:6:1> line:1:7 class test definition
|-DefinitionData pass_in_registers trivially_copyable trivial literal
| |-DefaultConstructor exists trivial needs_implicit
| |-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param
| |-MoveConstructor exists simple trivial needs_implicit
| |-CopyAssignment trivial has_const_param needs_implicit implicit_has_const_param
| |-MoveAssignment exists simple trivial needs_implicit
| `-Destructor simple irrelevant trivial needs_implicit
|-CXXRecordDecl 0x55f6f5545d78 <col:1,col:7> col:7 implicit class test
|-AccessSpecDecl 0x55f6f5545e10 <line:2:1,col:7> col:1 public
|-FieldDecl 0x55f6f5545e50 <line:3:5,col:9> col:9 pub 'int'
|-AccessSpecDecl 0x55f6f5545e98 <line:4:1,col:8> col:1 private
`-FieldDecl 0x55f6f5545ed8 <line:5:5,col:9> col:9 prv 'int'
这很容易通过脚本进行解析。或者,您可以使用Clang AST库创建LibASTMatcher
,以按照documentation中的说明使用数据本身进行验证。
要在我测试非恒定对象时附加cigien's correct answer,即T
在对象构造过程中被更改,因此将在运行时而不是编译时进行测试。这仅涉及删除const
关键字:
// Check that color is a public member
template<typename T>
auto has_public_color(T &t) -> decltype(t.color,true)
{
// Returns true if T has a public member named color
return true;
}
auto has_public_color(...)
{
return false;
}
然后,我将插入这样的单元测试框架(Boost单元测试)中
BOOST_AUTO_TEST_CASE(test_cell_no_public_color)
{
BOOST_TEST_MESSAGE("Testing that Cell has no public member of color");
// Check that Cell has no public color
BOOST_CHECK(not has_public_color(Cell{}));
}
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。