Модульный тест на невозможность копирования класса и другие свойства времени компиляции

Вы можете сделать это с помощью make. Каждый тест будет фрагментом кода. Вот рабочий пример с двумя тестами для 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) [email protected]

must_pass_but_fails:
    @$(PASSTEST) [email protected]

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

фейлтест.бат

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

Обратите внимание, что cl.exe (то есть компилятор Visual Studio) должен быть на вашем пути, чтобы это «просто работало»

Веселиться!

P.S. Хотя сомневаюсь, что это сделало бы меня знаменитым :-)

Кстати, единственная известная мне система сборки, которая позволяет проводить такой тест «из коробки», — это 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.

К сожалению, нет простого способа проверить ошибку компиляции так, как вы хотите, я тоже хотел сделать это раньше.

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

Примером такого рода вещей могут быть сценарии настройки Unix, в более чем нескольких сценариях, которые я видел, они пытались скомпилировать небольшие образцы, чтобы проверить версию/возможности компилятора, чтобы правильно настроить makefile.

Так, по крайней мере, вы можете знать, что вы не одиноки. Теперь, если бы вы написали успешную тестовую среду для такого рода вещей, вы, вероятно, стали бы знаменитыми :)

Редактировать: вы также можете использовать #define, который либо пытается, либо не компилирует некомпилируемый код, примерно так:

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

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