Question

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

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.

我想这不能像那样简单地完成，但是有没有惯用的方法来做到这一点，或者我应该推出自己的解决方案（可能使用脚本编译单独的测试文件并测试结果？）？

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

Answer 1

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

生成文件：


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编译器）需要在您的路径中才能“正常工作”

玩得开心！

P.S。我怀疑这会让我出名： - ）

Answer 2

顺便说一句，我所知道的唯一一个开箱即用的构建系统是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的更多示例。

Answer 3

不幸的是，没有简单的方法以你想要的方式测试编译错误，我之前也想这样做。

无论如何，如果您的测试足够小，您可以编写简短的无法编译的代码，例如您的示例，如果生成的错误是正确的，则使用脚本进行验证（再次您只是说了）。

这种事情的一个例子是Unix的配置脚本，在我看过的几个脚本中，他们试图编译一些小样本以验证编译器的版本/能力，以正确配置makefile。

所以至少你可以知道你并不孤单。现在，如果你为这类事情写了一个成功的测试框架，你可能会成名：）

编辑：您还可以使用#define尝试或不编译不可编译的代码，如下所示：

#ifdef _COMPILETEST
#define TRY_COMPILE(...) (__VA_ARG__)
#else
#define TRY_COMPILE(...)
#end

请注意，这是我刚才所说的，这种模式可能存在许多问题，但它可能会成为一些更好的想法的种子。

Answer 4

这篇文章我写了一段时间后可能会感兴趣http://petebarber.blogspot.co.uk/2012/04/unit-testing-when-success-case-is.html

Answer 5

boost.type_traits似乎有你想要的东西。

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

5 个答案: