Das restricted keyword in C<\/p>\n
restrict keyword...is basically a promise to the compiler that for the scope of the pointer, the target of the pointer will only be accessed through that pointer (and pointers copied from it).<\/p><\/blockquote>\n
In C++ geben wir keine Versprechen. Grunds\u00e4tzlich nicht.
\nDas Beispiel von cppreference.com verdeutlich das Optimierungspotential ziemlich anschaulich. Gegeben ist folgende Funktion:<\/p>\n\r\nint foo(int &a, int &b) {\r\n a = 5;\r\n b = 6;\r\n return a + b;\r\n}\r\n<\/pre>\n\r\nfoo(int&, int&):\r\n movl $5, (%rdi) # store 5 in a\r\n movl $6, (%rsi) # store 6 in b\r\n movl (%rdi), %eax # read back from a in case previous store modified it\r\n addl $6, %eax # add 6 to the value read from a\r\n ret\r\n<\/pre>\nWelche Optimierungsm\u00f6glichkeiten gibt es hier? Nat\u00fcrlich, der R\u00fcckgabewert ist 11 (5+6), solange die Referenzen von a und b auf unterschiedliche Variablen zeigen. Sonst ist der R\u00fcckgabewert 12 (6+6). Mit dem restrict keyword kann man l\u00fcgen und behaupten, dass die Referenzen von a und b nicht auf die selbe Variablen zeigen. Aber so etwas haben wir in C++ nicht n\u00f6tigt; der Compiler weiss es besser als wir.
\nJe nachdem in welchen Kontext die Funktion foo<\/em> aufgerufen wird, kann optimiert werden, oder auch nicht. Beispielsweise ist in Funktion func<\/em> zur Compilezeit sichergestellt, dass die Referenzen auf unterschiedliche Variablen zeigen. Entsprechend wird der R\u00fcckgabewert von 11 voraus berechnet und im Code abgelegt. <\/p>\n\r\nauto func(std::vector<int>& arr, size_t i) {\r\n return foo(arr[i], arr[i+1]);\r\n}\r\n<\/pre>\n\r\nfunc(std::vector<int, std::allocator<int> >&, unsigned long):\r\n movq (%rdi), %rax\r\n addq $1, %rsi # temp increment i\r\n movl $5, -4(%rax,%rsi,4) # store 5 in a\r\n movl $6, (%rax,%rsi,4) # store 6 in b\r\n movl $11, %eax # the result is 11, a compile-time constant\r\n ret\r\n<\/pre>\nZeigen die Referenzen hingegen auf die selbe Variable, wie in der Funktion func2<\/em>, erkennt auch dies der Compiler und berechnet einen anderen R\u00fcckgabewert: 12. Auch in diesem Fall muss die Addition zur Laufzeit nicht ausgef\u00fchrt werden.<\/p>\n
\r\nauto func2(std::vector<int>& arr, size_t i) {\r\n return foo(arr[i], arr[i]);\r\n}\r\n<\/pre>\n\r\nfunc2(std::vector<int, std::allocator<int> >&, unsigned long):\r\n movq (%rdi), %rax\r\n movl $6, (%rax,%rsi,4) # store 6 in a and b.\r\n movl $12, %eax # the result is 12, a compile-time constant\r\n ret\r\n<\/pre>\nFazit: Hinweise an den Compiler mit dem restrict keyword in C sind in C++ absolut \u00fcberfl\u00fcssig und f\u00fchren nur zu undefinierten Verhalten des Programms und damit zu schwer findbaren Bugs. Da die Debugzeit 1\/3 bis gerne 2\/3 der gesamten Entwicklungszeit ausmachen (in der Praxis, nicht in der Theorie), ist der Einsatz von C statt C++ unwirtschaftlich.<\/p>\n
[1] https:\/\/en.cppreference.com\/w\/c\/language\/restrict<\/a>
\n[2] https:\/\/stackoverflow.com\/questions\/776283\/what-does-the-restrict-keyword-mean-in-c<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"Das restricted keyword in C restrict keyword...is basically a promise to the compiler that for the scope of the pointer, the target of the pointer will only be accessed through that pointer (and pointers copied from it). In C++ geben wir keine Versprechen. Grunds\u00e4tzlich nicht. Das Beispiel von cppreference.com verdeutlich das Optimierungspotential ziemlich anschaulich. Gegeben […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[17],"class_list":["post-3655","post","type-post","status-publish","format-standard","hentry","category-allgemein","tag-cpp"],"_links":{"self":[{"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=\/wp\/v2\/posts\/3655","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=3655"}],"version-history":[{"count":7,"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=\/wp\/v2\/posts\/3655\/revisions"}],"predecessor-version":[{"id":3662,"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=\/wp\/v2\/posts\/3655\/revisions\/3662"}],"wp:attachment":[{"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3655"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3655"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/roboblog.fatal-fury.de\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3655"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}