2016-02-26 12 views
6

ich auf eine interessante Marotte von GCC vor kurzem kam, als generisches lambda mit (C++ 14-Funktion, die als Lambda-Parameter erlaubt die Verwendung von auto). Es scheint, dass die Verwendung von Auto anstelle von Typ irgendwie beeinflusst, wie "dieser" Zeiger erfasst wird. Ich reproduziert Problem im folgenden Beispiel:Seltsam Compiler Verhalten mit generischem Lambda 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; } 

Code oben funktioniert. Als ich „problematischen Zeilen“ zu ändern:

 auto lambda = [&] (const auto k) { //problematic line 
      method(k);      //problematic line 

Es ist nicht mehr kompilieren, das Hinzufügen jedoch „dieses“ Zeiger:

 auto lambda = [&] (const auto k) { //problematic line 
      this->method(k);    //problematic line 

das Problem behebt. Meine Frage ist: Gibt es einen vernünftigen Grund für ein solches Verhalten? Oder ist es irrationale Eigenart des GCC (und sollte vielleicht gemeldet werden)?

Hier wird von Compiler auf Fall mit Verwendung von auto ohne 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. 

Zusammengestellt mit GCC 5.3.1

+12

'internen Compiler error' Das ist ein Compiler-Fehler. – bolov

+0

Bei Clang funktioniert es (eingerückt) (http://melpon.org/wandbox/permlink/lTOF7QxfICP6sW0l). –

Antwort