Компилятор жалуется на BOOST_CHECK_THROW на конструкторе - PullRequest
Новая
       40

Компилятор жалуется на BOOST_CHECK_THROW на конструкторе

5 голосов
/ 03 марта 2010

Следующее не компилируется: 

class Foo {
public:
    Foo( boost::shared_ptr< Bar > arg );
};

// in test-case

boost::shared_ptr< Bar > bar;

BOOST_CHECK_THROW( Foo( bar ), std::logic_error ); // compiler error here

Реализация Бар не имеет значения. Компилятор жалуется, что у Foo нет подходящего конструктора по умолчанию (VC ++ 2005). Если я добавлю конструктор по умолчанию, он будет работать, и он действительно будет вызван. Почему для этого оператора требуется конструктор по умолчанию?

1 Ответ

12 голосов
/ 03 марта 2010

Это происходит потому, что BOOST_CHECK_THROW является макросом, а Foo(bar) расширяется до оператора. Компилятор видит этот оператор и интерпретирует его как объявление переменной Foo bar;, для которого требуется конструктор по умолчанию.

Решение состоит в том, чтобы дать переменной имя: 

BOOST_CHECK_THROW( Foo temp( bar ), std::logic_error );

Другими словами BOOST_CHECK_THROW расширится до чего-то вроде 

try
{
    Foo(bar);
    // ... fail test ...
}
catch( std::logic_error )
{
    // ... pass test ...
}

и компилятор интерпретирует Foo(bar); как объявление переменной с именем bar. Это можно проверить с помощью простой программы: 

struct Test
{
    Test(int *x) {}
};

int main()
{
    int *x=0;
    Test(x);
    return 0;
}

, который дает следующие ошибки с g ++ 

test.cpp: In function ‘int main()’:
test.cpp:10: error: conflicting declaration ‘Test x’
test.cpp:9: error: ‘x’ has a previous declaration as ‘int* x’
...