Вывод аргумента шаблона для аргумента типа функции - PullRequest
Новая
       46

Вывод аргумента шаблона для аргумента типа функции

10 голосов
/ 17 января 2020

Рассмотрим следующую программу. 

#include <iostream>

template <typename T>
void f( void ( *fn )( T ) )
{
    fn( 42 );
}

void g( int x )
{
    std::cout << "g( " << x << " );\n";
}

int main()
{
    f( g );
}

Программа успешно компилируется, и ее выходные данные равны 

g( 42 );

Теперь давайте переименуем функцию без шаблона g в f. 

#include <iostream>

template <typename T>
void f( void ( *fn )( T ) )
{
    fn( 42 );
}

void f( int x )
{
    std::cout << "f( " << x << " );\n"; 
}

int main()
{
    f( f );
}

Теперь программа не скомпилирована с помощью g cc HEAD 10.0.0 20200 и clang HEAD 10.0.0, но успешно скомпилирована с помощью Visual C ++ 2019 ..

Например, компилятор g cc выдает следующий набор сообщений. 

prog.cc: In function 'int main()':
prog.cc:22:10: error: no matching function for call to 'f(<unresolved overloaded function type>)'
   22 |     f( f );
      |          ^
prog.cc:4:6: note: candidate: 'template<class T> void f(void (*)(T))'
    4 | void f( void ( *fn )( T ) )
      |      ^
prog.cc:4:6: note:   template argument deduction/substitution failed:
prog.cc:22:10: note:   couldn't deduce template parameter 'T'
   22 |     f( f );
      |          ^
prog.cc:14:6: note: candidate: 'void f(int)'
   14 | void f( int x )
      |      ^
prog.cc:14:13: note:   no known conversion for argument 1 from '<unresolved overloaded function type>' to 'int'
   14 | void f( int x )
      |         ~~~~^

Таким образом, возникает вопрос: должен ли код быть скомпилирован и по какой причине код не компилируется g cc и clang?

Ответы [ 2 ]

7 голосов
/ 17 января 2020

Мне кажется, что g cc и clang верны. Это не должно компилироваться. Параметр функции, из которого вы хотите, чтобы T был выведен, становится неотчуждаемым контекстом здесь в тот момент, когда предоставленный аргумент является набором перегрузки, который содержит шаблон функции [temp.deduct.type] /5.5:

Неведуемые контексты:

  • […]

  • Параметр функции, для которого невозможно сделать вывод аргумента, поскольку связанный аргумент функции является функцией или набором перегруженных функций ([over.over]), и применяется одно или несколько из следующего:

    • […]
    • the набор функций, предоставляемых в качестве аргумента, содержит один или несколько шаблонов функций.
  • […]

Таким образом, T не может быть выведено, а другая перегрузка нежизнеспособна из-за отсутствия преобразования; именно то, что г cc говорит ...

0 голосов
/ 17 января 2020

Это две перегруженные функции, и не шаблонная функция должна быть выбрана по сравнению с шаблонной функцией, поэтому было выбрано f (int x), поэтому передача функции в качестве аргумента в функцию, которую int необходимо передать, невозможна. и ниже должно работать. Спасибо 

void f( void ( *fn )( int ) ){
  fn( 42 );
}
void f( int x ){
    std::cout << "f( " << x << " );\n";
  }

  int main(){

     f( f );
  }
...