Ошибка компиляции yaml-cpp в RAD Studio 2010 - PullRequest
Новая
       17

Ошибка компиляции yaml-cpp в RAD Studio 2010

2 голосов
/ 05 марта 2010

Я не могу скомпилировать yaml-cpp в RAD Studio 2010. У меня ошибка в nodeutil.h

template <typename T, typename U>
struct is_same_type {
enum { value = false };
};

template <typename T>
struct is_same_type<T, T> {
enum { value = true };
};

template <typename T, bool check>
struct is_index_type_with_check {
enum { value = false };
};

template <> struct is_index_type_with_check<std::size_t, false> 
    { enum { value = true }; }; // line 24

#define MAKE_INDEX_TYPE(Type) \
template <> struct is_index_type_with_check<Type, is_same_type<Type, std::size_t>::value> { enum { value = true }; }

MAKE_INDEX_TYPE(int);
MAKE_INDEX_TYPE(unsigned); // line 30
MAKE_INDEX_TYPE(short);
MAKE_INDEX_TYPE(unsigned short);
MAKE_INDEX_TYPE(long);
MAKE_INDEX_TYPE(unsigned long);
#undef MAKE_INDEX_TYPE

Печать компилятора:

[BCC32 Error] nodeutil.h(30): E2238 Multiple declaration for 'is_index_type_with_check<unsigned int,0>'

[BCC32 Error] nodeutil.h(24): E2344 Earlier declaration of 'is_index_type_with_check<unsigned int,0>'

Я думаю, что все правильно - в строке 24 я получил

is_index_type_with_check<std::size_t, false>,

в строке 30 я получил

is_index_type_with_check<unsigned, true>.

Два разных типа.

Но если я изменю строку 24, как показано ниже, RAD Studio может скомпилировать yaml-cpp

template <> struct is_index_type_with_check<std::size_t, true> { enum { value = true }; }; // false -> true

Почему ?! В строке 24 я получил

is_index_type_with_check<std::size_t, true>

и в строке 30

is_index_type_with_check<unsigned, true>

Два одинаково типа. Но все работает в RAD Studio, а не в MS VS 2008 Express.

1 Ответ

1 голос
/ 04 июня 2010

Опробовав свой код с CodeBlocks, проблемы показали ровно наоборот. Это означает, что мой код компилируется с 

template <> struct is_index_type_with_check<std::size_t, false>

и терпит неудачу с 

template <> struct is_index_type_with_check<std::size_t, true>

в строке 24.

Кажется, проблема в том, какие типы компиляторов считают одинаковыми, а какие - разными. Эта проблема распространяется на разные этапы процесса компиляции. Посмотрите еще раз на ошибку вашего компилятора. Аргументы шаблона is_index_type_with_check одинаковы для std::size_t и unsigned. Это означает, что ваш компилятор подумал, что std::size_t и unsigned - это разные типы для вывода аргумента шаблона (is_same_type::value == false), но позднее обнаружение типа обнаружило, что std::size_t и unsigned имеют одинаковый тип unsigend int и жалуется с ошибкой.

Итак, чтобы подвести итог, вы не правильно прочитали ошибку своего компилятора - MAKE_INDEX_TYPE(unsigned); создал is_index_type_with_check<unsigned int, false>. Этот тип конфликтует с вашим template <> struct is_index_type_with_check<std::size_t, false>, и компилятор пожаловался.

...