GCC Segfaults Когда `decltype` используется во вложенной лямбде

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

#include <iostream>
#include <type_traits>

template <class Iterator, class Func>
void for_each(const Iterator first, const Iterator last, Func func)
{
        for (Iterator it = first; it != last; ++it) {
                func(*it);
        }
}

template <class T>
class helper
{
        typedef typename T::size_type type;
};

template <class T>
class helper<T&>
{
        typedef typename T::size_type type;
};

template <class T>
class helper<T*>
{
        typedef typename T::size_type type;
};      

struct bar
{
        struct foo
        {
                typedef int size_type;
        } foo_;

        void test()
        {
                int arr[] = { 1, 2, 3 };
                for_each(arr, arr + 3, [&](int i) {
                        /*
                        ** XXX: The "typename ... type" segfaults g++!
                        */
                        for_each(arr, arr + 3, [&](typename helper<decltype(foo_)>::type j) {

                        });
                });
        }
};

int main()
{
        return 0;
}

Вывод компилятора:

$ g++ -Wall -std=c++0x nested_lambda.cpp
nested_lambda.cpp: In lambda function:
nested_lambda.cpp:42:56: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.6/README.Bugs> for instructions.
Preprocessed source stored into /tmp/ccqYohFA.out file, please attach this to your bugreport.

Изначально я решил использовать decltype , потому что объект передается в макрос, и мне нужно извлечь тип объекта. Из типа объекта ( T , T & или T * ) я бы использовал класс черт для извлечения T :: size_type. size_type тогда будет типом параметров лямбда-функции.

Как я могу обойти эту проблему, не используя typedef для предварительного объявления типа параметра лямбда-функции? Если вы можете придумать какое-то другое решение, которое можно легко реализовать в макросе (т. Е. Многократно скопировать и вставить в список параметров лямбда-функции), это тоже сработает.

9
задан void-pointer 27 January 2012 в 11:03
поделиться