Я создал макрос, который удобно строит лямбда-функции, с помощью которых я могу перебирать тензорные объекты в библиотеке, которую я написал. Однако вложение этих макросов, по-видимому, привело к внутренней ошибке сегментации 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 для предварительного объявления типа параметра лямбда-функции? Если вы можете придумать какое-то другое решение, которое можно легко реализовать в макросе (т. Е. Многократно скопировать и вставить в список параметров лямбда-функции), это тоже сработает.