[질문] 이런 템플릿 함수를 짤 수 있을까요?

[기괴공학도(mecheng98)]

함수 f와 수식 a_1, ..., a_n에 대하여, 수식

call<f>(a_1, ..., a_n)

이 평가될 때 f의 주소값이 출력되고

a_1부터 a_n까지의 평가값이 출력되며,

f(a_1, ..., a_n)을 평가하여

그것의 평가값으로 가지도록 하고 싶어요.

[커헠(msca8h)]

f 가 템플릿 파라미터면 값이 아닌데 어떻게 주소를 출력해 - return 0;

[커헠(msca8h)]

이렇게 해야지 call<F>(f::F, a1, a2, ... , an) - return 0;

[기괴공학도(mecheng98)]

잘 몰라서 죄송한데, 이렇게 하면 안 돼요? call<&f>(a_1, ..., a_n);

[커헠(msca8h)]

그렇게 하면 주소야 전달되지만 함수 호출을 못하잖아 함수 타입 정보가 안 들어가서 - return 0;

[기괴공학도(mecheng98)]

그러면 주소만 출력하고 어떤 템플릿 함수에 역참조한 걸 템플릿 인자로 넘기면 안 돼요?

[커헠(msca8h)]

??? - return 0;

[기괴공학도(mecheng98)]

죄송합니다. 템플릿 잘 몰라서요. 그냥 무시하세요.

[웹땔감(webfirewood)]

논타입 파라미터 auto로 하면 타입 정보 알아서 잘 들어가지는데 위에 새로 글 쓴데로 주소도 얻을 수 있고 호출도 되고 다 됨

[커헠(msca8h)]

포인터의 타입을 추론해서 얻어내야되니까 auto 는 아니고 named type 으로 해야될듯 근데 음 포인터 추론 잘 되나 그쪽은 생각해본 적 없는 - return 0;