c++ template 질문

vani2의 이미지

템플릿 공부하다 궁금한 점이 생겨 질문 올려봅니다.

#include <iostream>
#include <typeinfo>
/*
template <typename T>
void trace(T* source)
{
	std::cout << typeid(source).name() << std::endl;
}
*/ // 위 코드 대신 밑에 꺼 주석넣고 실행해도 결과는 같음
template <typename T>
void trace(T source)
{
	std::cout << typeid(source).name() << std::endl;
}
 
int main()
{
	double a = 12.12;
	trace(&a);
 
	return 0;
}
<code>
 
위 코드에서 주석에 표기한 것과 같이 두 함수 템플릿이 그 어느 쪽을 주석을 넣고 실행해도 같은 결과가 나오는데요. (둘 다 주석처리 안하면 T* source 시그니처 쪽이 실행되네요)
 
후자는 그렇다쳐도 주석이 쳐져있는 부분을 보면
<code>
template <typename T>
void trace(T* source)
{
	std::cout << typeid(source).name() << std::endl;
}

위 함수 템플릿이 구체화 될경우 T* source부분이 double** source가 되어서 타입이 서로 다르게 나와야 될탠데 두 템플릿 모두 같은 타입을 출력하네요.

typeid(source).name()부분을 *source로 바꿔도 정상작동 됩니다.

이 말은 전자던 후자던 double* 타입으로 구체화 된 것 같은데

어떻게 해서 이런 문법이 가능한 것 이며, 위 구문에서 T*와 T의 차이는 무엇인가요?

klyx의 이미지

포인터로 부분 특수화된게 먼저 인스턴스화됩니다. 부분특수화가 없다면 일반적인 템플릿이 인스턴스화됩니다.
T*로 부분특수화된게 존재하면 그쪽이 우선인거고 없으면 그냥 T쪽이 되는거죠. 넣는 타입이 왜 같은가는 그냥 말장난입니다.
부분특수화되었을때는 T *source에서 T=double로 된거고 일반템플릿에서 T source에서 T=double*이 된거죠.

vani2의 이미지

레퍼런스도 포인터와 같이 먼저 인스턴스화되나요?

klyx의 이미지

이 질문을 보고 제가 착각했다는걸 깨달았네요.
이건 부분 특수화가 아니라 함수의 오버로딩입니다.
부분특수화는 템플릿 클래스에 대해서만 가능합니다.

오버로딩이기 때문에 레퍼런스의 경우에는 비상수 레퍼런스로 변환이 불가능한 경우에만 T t로 추론이 가능하고 그이외의 경우에는 T& t와 T t를 구분할 수 없기 때문에 컴파일자체가 안됩니다.

gosuchoi의 이미지

두 가지 경우가 같은 결과가 나오는게 논리적으로 타당합니다.\
왜냐하면 main()에서 인자를 넘길때 double *로 넘어가니까, source 의 type은 double pointer가 되겠지요.
첫번째 경우는 double *source 이고 이때는 T가 double 로 정의되겠고, 따라서 T* 는 double*가 됩니다.
두번째 경우도 double *source 이고 이때는 T가 double*로 되겠지요.
T는 변하더라도 source 의 타입은 항상 같게됩니다. 저의 의견입니다.

지금의 예제는 T와 T*의 차이를 설명하기가 힘든데, main()에서 trace()을 콜할때,
trace(a)
로 한다면, 첫번째의 경우는 컴파일 에러가 생기고, 두번째의 경우는 정상적으로 컴파일됩니다.

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.