C++ template -- 字符串作为函数模板实参

最新推荐文章于 2025-02-22 14:28:17 发布

原创最新推荐文章于 2025-02-22 14:28:17 发布 · 1.3k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #apple #types #reference #string #solaris

C++ template 专栏收录该内容

6 篇文章

订阅专栏

本文探讨了C++中模板参数的使用，特别是在引用参数与非引用参数情况下，不同类型参数如何进行匹配及类型推导的过程。通过具体示例说明了数组到指针的隐式转换现象。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#include <string>

// note: reference parameters
template <typename T>
inline T const& max (T const& a, T const& b)
{
return a < b ? b : a;
}

int main()
{
std::string s;

    ::max("apple","peach");   // OK: same type
    ::max("apple","tomato"); // ERROR: different types
    ::max("apple",s);         // ERROR: different types
}

一个char const[6],一个char const[7]..."apple","tomato"不同...

#include <string>

// note: nonreference parameters
template <typename T>
inline T max (T a, T b)
{
return a < b ? b : a;
}

int main()
{
std::string s;

    ::max("apple","peach");   // OK: same type
    ::max("apple","tomato"); // OK: decays to same type (退化到相同的类型)
    ::max("apple",s);             // ERROR: different types
}

#include <typeinfo>
#include <iostream>

template <typename T>
void ref (T const& x)
{
std::cout << "x in ref(T const&): "
<< typeid(x).name() << '/n';
}

template <typename T>
void nonref (T x)
{
std::cout << "x in nonref(T): "
<< typeid(x).name() << '/n';
}

int main()
{
ref("hello");
nonref("hello");
}

Under Solaris:

x in ref(T const&): char[6]
x in nonref(T): const char*

对于非应用类型参数，在推演的过程中，可能会发生数组到指针的转化！（array-to-point)...

黄山鳌鱼背