🚀 go-pugleaf

On 06.10.2016 19:00, Wojciech Muła wrote:
> GCC 4.9.2, taki kod:
>
> ---
> #include <cstring>
>
> const char* my_strchr(const char* s, int c) {
>     return s + c;
> }
>
> template <typename STRLEN>
> const char* foo(STRLEN strchr_fun, const char* s, int c) {
>     return strchr_fun(s, c);
> }
>
> int main() {
>     foo(my_strchr, "hello world", '?');
>     foo(std::strchr, "hello world", '?');
> }
> ---
>
> $ gcc -std=c++14 bug.cpp
>
> bug.cpp: In function ‘int main()’:
> bug.cpp:14:40: error: no matching function for call to ‘foo(<unresolved overloaded function type>, const char [12], char)’
>      foo(std::strchr, "hello world", '?');
>                                         ^
> bug.cpp:14:40: note: candidate is:
> bug.cpp:8:13: note: template<class STRLEN> const char* foo(STRLEN, const char*, int)
>  const char* foo(STRLEN strchr_fun, const char* s, int c) {
>              ^
> bug.cpp:8:13: note:   template argument deduction/substitution failed:
> bug.cpp:14:40: note:   couldn't deduce template parameter ‘STRLEN’
>      foo(std::strchr, "hello world", '?');
>
> Po prostu nie rozumiem. Ten strchr to jest jakieś makro,
> czy co?


A który strchr?
Bo sa dwa:

const char * strchr ( const char * str, int character );
       char * strchr (       char * str, int character );

Wewnątrz używasz go na const, ale w momencie, gdy kompilator
decyduje, co jest argumentem foo(), nie wie tego.
IMHO coś podobnego jak to, że nie dobiera się po typie wyniku.

http://stackoverflow.com/questions/25871381/c-overloaded-function-as-template-argument

foo(my_strchr, "hello world", '?');
foo<const char *(const char *,int)>(std::strchr, "hello world", '?');

Się kompiluje, ale brzydkie.
Pewnie da się z jakimś decltype zrobiuć ładniej ;-)

pzdr
bartekltg