为什么在auto和template函数的情况下，类型都没有推导为"const"类型

Why the type did not deduced to `const` type in both auto and template function cases?

本文关键字：quot 类型 auto const 函数 情况下 为什么 template      更新时间：2023-10-16

这是我在这里的第一个问题，我希望我已经添加了所有相关信息，以获得一个最小的可验证完整程序。如果你需要更多信息，请评论我。

我正在学习C++模板编程和类型推导。

  • 情况I：我为类型使用了auto关键字，并将整数强制转换为const double
  • case II：我使用了一个模板函数(type_fun)，并告诉编译器通过如下类型转换对const double进行推导：
#include <iostream>
#include <type_traits>
template<typename T>
void type_fun(T t)
{
std::cout << "From type function: " << std::endl;
std::cout << std::boolalpha << std::is_same_v<const double, decltype(t)> << std::endl;
std::cout << std::boolalpha << std::is_same_v<double, decltype(t)> << std::endl;
}
int main()
{
auto t = static_cast<const double>(1);
std::cout << std::boolalpha << std::is_same_v<const double, decltype(t)> << std::endl;
std::cout << std::boolalpha << std::is_same_v<double, decltype(t)> << std::endl;
type_fun(static_cast<const double>(1));
}

然而，结果是一样的。该程序表示，推导出的类型是non-const double。为什么编译器忽略了const？

我需要做什么，才能实现推导出的类型与static_casted类型相同？

这听起来可能很奇怪，但const只适用于变量(和其他事物)，而不适用于常量，因为常量已经总是const。

在您的代码中：

auto t = static_cast<const double>(1);

t将获得类型double，这解释了您看到的行为。

我需要做什么，才能使推导的类型与静态类型相同？

当const double和double作为实际参数传递给函数时，无法区分它们。两者都是通过值传递的，并且从调用方的角度来看，两者都是100%常量(也没有const)。函数无法修改调用方的值。因此编译器不需要对它们进行区分。

如果你想在模板函数中打印const double变体，你必须使其：

template<typename T>
void type_fun(const T t)
{
std::cout << "From type function: " << std::endl;
std::cout << std::boolalpha << std::is_same_v<const double, decltype(t)> << std::endl;
std::cout << std::boolalpha << std::is_same_v<double, decltype(t)> << std::endl;
}

但是，无论传入的类型如何，该变量都将始终打印const double变量。形式参数附近的常量意味着在这种情况下，按值传递的值(非常量或常量)不能在函数内更改。

CCD_ 17在太多的上下文中用于太多的目的。这可能令人困惑。

相关文章：