문자열 리터럴에 대한 템플릿 인수 공제

Question

template<typename T> 
void print_size(const T& x) 
{ 
    std::cout << sizeof(x) << '\n'; 
} 

int main() 
{ 
    print_size("If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."); 
    // prints 115 
} 

이것은 최신 g ++ 컴파일러에서 115를 인쇄합니다. 그래서 분명히 T은 (포인터 대신에) 배열로 추론됩니다. 그 행동은 표준에 의해 보장됩니까? 다음 코드는 포인터의 크기를 출력하기 때문에 조금 놀랐습니다. auto은 템플릿 인수 공제와 정확히 똑같은 동작을한다고 생각합니까?

int main() 
{ 
    auto x = "If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."; 
    print_size(x); 
    // prints 4 
} 

Answer 1

auto 템플릿 인수를 공제 똑같이 ¹ 동작합니다. 정확히 T을 (를) 좋아합니다! 이것으로

template<typename T> 
void print_size(T x) 
{ 
    std::cout << sizeof(x) << '\n'; 
} 

int main() 
{ 
    print_size("If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."); 
    // prints 4 
    auto x = "If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."; 
    print_size(x); 
    // prints 4 
} 

:

이 비교

template<typename T> 
void print_size(const T& x) 
{ 
    std::cout << sizeof(x) << '\n'; 
} 

int main() 
{ 
    print_size("If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."); 
    // prints 115 
    const auto& x = "If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."; 
    print_size(x); 
    // prints 115 
} 

---

¹ 그렇진하지만,이 코너의 경우 중 하나가 아닙니다.