decltype을 템플릿 함수의 타입인수로 넘길 수 있을까요?

dltkddyd의 이미지

template<typename ftype>
int procedeSecond(~) {
 //statements
}

이라는 템플릿 함수가 특정 클래스의 멤버함수로 정의돼 있다고 할 때, 다음과 같이 템플릿 인수에 decltype을 넘길 수 있을까요?

procedeSecond<decltype((*this)[i])>(~);

this가 가리키는 값에서 타입을 유추해서 타입을 전달할 수 있는 방법좀 알려주세요.

익명 사용자의 이미지

decltype(...) 에서 ...이 유효한 expression이면 됩니다.

procedeSecond(~); 에서 이 문장이 위치한 지점에서 (*this)[i]가 분명하면 됩니다.
즉, 컴파일러가 this와 i의 타입을 알 수 있어야하는 거지요.

하지만 질문을 이상하게 하시는군요... 일단 해보세요.

익명 사용자의 이미지

코드 포맷때문에 정정합니다.

procedeSecond<decltype((*this)[i])>(~);

위 문장이 위치한 지점에서 (*this)[i]가 분명하면 됩니다.
즉, 컴파일러가 this와 i의 타입을 알 수 있어야하는 거지요.