C1001: в компиляторе произошла внутренняя ошибка - PullRequest
Новая
       15

C1001: в компиляторе произошла внутренняя ошибка

6 голосов
/ 20 августа 2011

Это должно быть само за себя. Я пытаюсь реализовать сортировку, и компилятор MSVC падает. Кажется, это особый случай, когда мой SFINAE обнаруживает функцию-член, этого не происходит, если я не передаю indexert в функцию или не заменяю has_get_index. Это также не произойдет, если я уберу одну из оставшихся перегрузок индексатора. Проблема остается, если в сортируемом элементе getIndex() const. 

1>test.cpp(34): fatal error C1001: An internal error has occurred in the compiler.
1>  (compiler file 'msc1.cpp', line 1420)
1>   To work around this problem, try simplifying or changing the program near the locations listed above.

(нет «перечисленных выше мест»). Минимальный тестовый пример: 

#include <vector>
#include <iterator>
#include <type_traits>

#ifndef HAS_MEM_FUNC //SFINAE (or maybe it is?)
#define HAS_MEM_FUNC(name, func)                                        \
    template<typename T>                                                \
    struct name {                                                       \
        typedef char yes[1];                                            \
        typedef char no [2];                                            \
        template <typename C> static yes& test( typename C::func ) ;    \
        template <typename C> static no&  test(...);                    \
        static bool const value = sizeof(test<T>(0)) == sizeof(yes);    \
    }
#endif
HAS_MEM_FUNC(has_get_index,getIndex);

//default indexer undefined
template <class T>
double indexer(...);
//indexer for objects that have a "T::getIndex() const" member
template <class T>
double indexer(const typename std::enable_if<has_get_index<T>::value,T>::type& b) {
    return b.getIndex();
};

template<class indexert> 
void function(indexert indexeri)
{}

struct sortable {};

int main () {
    function(indexer<sortable>); //line 34
}

1 Ответ

5 голосов
/ 20 августа 2011

Это, вероятно, не то, что вы хотели: 

template <typename C> static yes& test( typename C::func ) ;

С typename вы сообщаете компилятору, что C::func будет типом. В действительности это будет функция, и указание имени функции в объявлении параметра не имеет никакого смысла.

Возможно, вы намеревались использовать typeof вместо typename?

...