попробуйте поймать блоки с boost.Test

Question

У меня есть функция класса (Class member), которую я хочу избежать краха приложения из-за двусмысленности. Для этого я добавил попытку поймать Бок, как показано ниже:

void getGene(unsigned int position){ 
    T val; 
    try { 
     val = _genome.at(_isCircular ? position % _genome.size() : position); 
    } 
    catch (std::exception& e) { 
     std::cerr << "Error in [" << __PRETTY_FUNCTION__ << "]: " 
        << e.what() << std::endl; 
     exit(1); 
    } 
    return val; 
} 

Теперь я хотел бы добавить модульный тест Boost, который я думал, что делать что-то вроде

BOOST_AUTO_TEST_CASE(nonCircularGenome_test){ 

    // set size to 10 
    test.setSize(10); 
    // set non circular 
    test.setNonCircular();  

    // gene at site # 12 does not exist in a 10-site long genome, must throw an exception 
    BOOST_CHECK_THROW(test.getGene(12), std::out_of_range); 

Проблема заключается в том, Я не могу заставить обе эти вещи работать. Блок try-catch хорошо работает в настройке релиза. Однако этот тест работает, только если я удаляю блок try-catch и позволяю функции вызывать исключение.

Каков наилучший способ заставить обе эти вещи работать, чтобы пользователь запрашивал правильную ошибку на ходу, а тесты проверяли явно при отладке? Одним из способов является использование # ifdef/# endif блоков DEBUG, но я хочу избежать макросов препроцессора.

Спасибо заранее,

Нихилу

Answer 1

Вы, кажется, непонимание сферы и цель исключения - и, возможно, обработки ошибок в целом.

Прежде всего, вы должны определить, каковы предпосылки вашей функции: getGene() всегда ожидает, что position будет действительным? Ожидает ли его клиентов никогда недействительные позиции?

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

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

Одна возможность состоит в том, чтобы вновь бросить исключение после входа диагностики:

T getGene(unsigned int position){ 
    T val; 
    try { 
     val = _genome.at(_isCircular ? position % _genome.size() : position); 
    } 
    catch (std::exception& e) { 
     std::cerr << "Error in [" << __PRETTY_FUNCTION__ << "]: " 
        << e.what() << std::endl; 

     throw; 
//  ^^^^^ 
    } 
    return val; 
} 

И если вам не нужно печатать диагностическое, пусть исключением, естественно, распространяются:

T getGene(unsigned int position){ 
    return _genome.at(_isCircular ? position % _genome.size() : position); 
}