Recentemente mi sono imbattuto in una strana stranezza di GCC, quando si utilizzava lambda generico (funzione C++ 14 che consente l'utilizzo di auto
come parametro lambda). Sembra che l'utilizzo di auto invece di tipo, in qualche modo influisce sul modo in cui viene catturato "questo" puntatore. Ho riprodotto il problema nel seguente esempio:Comportamento strano del compilatore con lambda generico in C++ 14
#include <cstdio>
class A { private:
void method(int i) {
printf("Method Call %d",i);
}
public:
void publicMethod() {
auto lambda = [&] (const int k) { //problematic line
method(k); //problematic line
};
lambda(42);
} };
int main() {
A a;
a.publicMethod();
return 0; }
Il codice sopra funziona. Quando cambio "linee problematici" a:
auto lambda = [&] (const auto k) { //problematic line
method(k); //problematic line
Non è la compilazione di più, ma l'aggiunta di "questo" puntatore:
auto lambda = [&] (const auto k) { //problematic line
this->method(k); //problematic line
risolve il problema. La mia domanda è: c'è qualche ragione razionale per un simile comportamento? O è la stranezza irrazionale del GCC (e forse dovrebbe essere segnalata)?
Ecco output del compilatore in caso di utilizzo di auto
senza this
test.cpp: In lambda function:
test.cpp:12:13: internal compiler error: Segmentation fault
method(k);
^
0x848ecc crash_signal
../../src/gcc/toplev.c:383
0xea28e5 size_binop_loc(unsigned int, tree_code, tree_node*, tree_node*)
../../src/gcc/fold-const.c:1768
0xee86d7 gimplify_compound_lval
../../src/gcc/gimplify.c:2039
0xee86d7 gimplify_expr(tree_node**, gimple_statement_base**, gimple_statement_base**, bool (*)(tree_node*), int)
../../src/gcc/gimplify.c:8052
0xeeb639 gimplify_arg(tree_node**, gimple_statement_base**, unsigned int)
../../src/gcc/gimplify.c:2271
0xeeb639 gimplify_call_expr
../../src/gcc/gimplify.c:2477
0xee89f2 gimplify_expr(tree_node**, gimple_statement_base**, gimple_statement_base**, bool (*)(tree_node*), int)
../../src/gcc/gimplify.c:8071
0xee8da7 gimplify_stmt(tree_node**, gimple_statement_base**)
../../src/gcc/gimplify.c:5519
0xee8da7 gimplify_cleanup_point_expr
../../src/gcc/gimplify.c:5295
0xee8da7 gimplify_expr(tree_node**, gimple_statement_base**, gimple_statement_base**, bool (*)(tree_node*), int)
../../src/gcc/gimplify.c:8463
0xee7ace gimplify_stmt(tree_node**, gimple_statement_base**)
../../src/gcc/gimplify.c:5519
0xee94db gimplify_bind_expr
../../src/gcc/gimplify.c:1136
0xee94db gimplify_expr(tree_node**, gimple_statement_base**, gimple_statement_base**, bool (*)(tree_node*), int)
../../src/gcc/gimplify.c:8297
0xee757f gimplify_stmt(tree_node**, gimple_statement_base**)
../../src/gcc/gimplify.c:5519
0xee757f gimplify_body(tree_node*, bool)
../../src/gcc/gimplify.c:9234
0xee72fd gimplify_function_tree(tree_node*)
../../src/gcc/gimplify.c:9388
0xe195e0 cgraph_node::analyze()
../../src/gcc/cgraphunit.c:634
0xe195e0 analyze_functions
../../src/gcc/cgraphunit.c:1024
0x127d1ab symbol_table::finalize_compilation_unit()
../../src/gcc/cgraphunit.c:2453
0xd37db5 cp_write_global_declarations()
../../src/gcc/cp/decl2.c:4843
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <file:///usr/share/doc/gcc-5/README.Bugs> for instructions.
compilato con GCC 5.3.1
'interno del compilatore error' Questo è un bug del compilatore. – bolov
On Clang it [funziona come indentato] (http://melpon.org/wandbox/permlink/lTOF7QxfICP6sW0l). –