🚀 go-pugleaf

On Thursday, October 6, 2016 at 7:45:41 PM UTC+2, bartekltg wrote:
> 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 );

OK, nie zauważyłem tego.

> Wewnątrz używasz go na const, ale w momencie, gdy kompilator
> decyduje, co jest argumentem foo(), nie wie tego.

Dzięki wielki! Teraz rozumiem, chociaż nie akceptuję.

> foo<const char *(const char *,int)>(std::strchr, "hello world", '?');
> 
> Się kompiluje, ale brzydkie.
> Pewnie da się z jakimś decltype zrobiuć ładniej ;-)

Zrobię przez lambdę, jak człowiek. :)

w.