テンプレート関数を引数として渡すときの型推論

解決

pen 2007-11-26 07:36:48 No: 66990

下の(1),(2),(3)について質問なのですが、

・(2)がコンパイルエラーになるということは、テンプレート関数は
  (3)のように明示的にその型を指定しないかぎり、
  関数の引数として渡すことは出来ないということですか?
  (accumulateに渡すaryからtemplate_mulの型推論は出来ないのか)

・(3)はg++3.4.4 cygwin,  bcc32で問題なくコンパイルできました。
  (3)の書き方は、C++の仕様に含まれた正しい書き方でしょうか?
  (調べても良く分かりませんでした)

g++3.4.4 cygwin

#include <iostream>
#include <numeric>
using namespace std;

int mul(int x, int y) { return x * y; }

template <class T>
T template_mul(T x, T y) { return x * y; }

int main() {
int ary[] = { 255, 2, 2 };

  accumulate(ary, ary+3, 1, mul); // (1) コンパイルOK
  accumulate(ary, ary+3, 1, template_mul); // (2) コンパイルエラー
  // no matching function for call to `accumulate(int[3], int*, int, <unknown type>)'
  accumulate(ary, ary+3, 1, template_mul<int>); // (3) コンパイルOK
}

シャノン 2007-11-26 10:31:23 No: 66991

> (accumulateに渡すaryからtemplate_mulの型推論は出来ないのか)

できねぇっす。

keichan 2007-11-27 23:10:50 No: 66992

>(3)の書き方は、C++の仕様に含まれた正しい書き方でしょうか?
はい。正しいです。

pen 2007-11-28 09:59:49 No: 66993

シャノンさん、keichanさん、ありがとうございます。