单元测试一个类是不可复制的,以及其他编译时属性

有没有办法测试编译时错误,但没有实际生成错误？例如,如果我创建一个不可复制的类,我想测试一个事实,即尝试复制它会产生编译器错误,但我还是想执行其他运行时测试.

struct Foo {
    int value_;
    Foo(int value) : value_(value) {}
  private:
    Foo(const Foo&);
    const Foo& operator=(const Foo&);
};

int main()
{
    Foo f(12);
    assert(f.value_ == 12);
    assert(IS_COMPILER_ERROR(Foo copy(f);));
} // Would like this to compile and run fine.

我想这不能简单地完成,但是有没有惯用的方法,或者我应该推出自己的解决方案(可能使用脚本编译单独的测试文件并测试结果？)？

注意:我采用不可复制的方式只是为了说明我的观点,所以我对使用boost :: noncopyable等的答案不感兴趣.

你可以用make来做.每个测试都是一个代码片段.这是一个包含2个VC++测试的工作示例.(我使用了2个批处理文件进行通过测试和失败测试).我在这里使用GNU make.

Makefile文件:

FAILTEST = .\failtest.bat
PASSTEST = .\passtest.bat

tests: must_fail_but_passes \
    must_pass_but_fails

must_fail_but_passes:
    @$(FAILTEST) $@.cpp

must_pass_but_fails:
    @$(PASSTEST) $@.cpp

must_pass_but_fails.cpp

struct Foo {
    int value_;
    Foo(void) : value_(0) {}
  private:
    Foo(const Foo&);
    const Foo& operator=(const Foo&);
};


int main()
{
    Foo f(12);
    return 0;
}

must_fail_but_passes.cpp

struct Foo {
    int value_;
    Foo(int value) : value_(value) {}
  private:
    Foo(const Foo&);
    const Foo& operator=(const Foo&);
};


int main()
{
    Foo f(12);
    return 0;
}

passtest.bat

@echo off
cl /nologo %1 >NUL
if %errorlevel% == 0 goto pass
@echo %1 FAILED
:pass

failtest.bat

@echo off
cl /nologo %1 >NUL
if not %errorlevel% == 0 goto pass
@echo %1 FAILED
:pass

请注意,cl.exe(即Visual Studio编译器)需要在您的路径中才能"正常工作"

玩得开心!

PS我怀疑这会让我出名:-)

BTW是我所知道的唯一一个允许开箱即用的测试的构建系统是Boost.Build:

点击这里" http://beta.boost.org/boost-build2/doc/html/bbv2/builtins/testing.html

例如,

# in your Jamfile
compile-fail crappy.cpp ;

.

int main()
{
  my crappy cpp file
}

有关grep -R compile-fail您BOOST_TOP_DIR\libs目录中的更多示例.