functionTemplate
함수 템플릿 호출은 세 가지를 동시에 읽는다
호출문 하나에서 T 추론, 명시적 인수, 오버로드 선택이 함께 결정된다.
추론인자에서 T를 읽음
명시max<double>처럼 지정
후보 경쟁오버로드와 함께 비교
검사본문 연산 가능 여부 확인
| 구분 | 판단 기준 | 다음 행동 |
|---|---|---|
| max(1, 2) | T가 int로 추론됨 | 그대로 호출 |
| max(1, 2.5) | 공통 T 추론이 애매함 | 명시 인수 또는 캐스팅 |
| max("a", "b") | 포인터 비교 의미가 섞일 수 있음 | 문자열 타입 사용 검토 |
핵심 호출문은 “T가 무엇인지”와 “그 T로 본문이 성립하는지”를 동시에 보여준다.