主页 / user-16996546

Aik's questions

Martin Hope
Aik
Asked: 2024-11-18 19:21:22 +0800 CST
  • 6

我在玩 Leetcode 的时候偶然发现了这个有趣的技巧。简而言之：

#include <iostream>
#include <vector>

void print(std::vector<int>& vec)
{
    for (int i : vec)
    {
        std::cout << i << ", ";
    }
}

int main()
{
    print(std::vector<int>(5) = {1,2,3,4,5});

    return 0;
}

我们似乎将右值传递给了左值引用，这通常是非法的，但在这个特定情况下，它却以某种方式起作用了。有什么解释吗，或者我可能遗漏了什么？

c++
Martin Hope
Aik
Asked: 2024-08-21 03:23:35 +0800 CST
  • 8

当应用于const被T推导为左值引用的 时（例如，将左值传递给采用通用引用的函数时），修饰符将被忽略。假设我们传递一个常规左值int，const T它应该被转换为 ，const int&但却被转换为int&。

以下是一个例子：

#include <iostream>

template<typename T>
const T foo(T&& a)
{
    // const T b{ 1 }; This would result in compile-error, cause b is just int&
    const T b{ a };
    return b;
}

int main()
{
    int x = 5;
    foo(x);
}

以下是我对C++ 的见解：

#include <iostream>

template<typename T>
const T foo(T && a)
{
  const T b = {a} /* NRVO variable */;
  return b;
}

/* First instantiated from: insights.cpp:13 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
int & foo<int &>(int & a)
{
  int & b = {a}; // As you see I'm getting an int& here and in return type also
  return b;
}
#endif


int main()
{
  int x = 5;
  foo(x);
  return 0;
}

您可以通过应用，然后添加和引用来解决此问题std::remove_reference，T如下const所示：

#include <iostream>
#include <type_traits>

template<typename T>
const std::remove_reference_t<T>& foo(T&& a)
{
    const std::remove_reference_t<T>& b{ a };   
    const std::remove_reference_t<T>& c{ 5 }; // Can use Rvalues now
    return b;
}

int main()
{
    int x = 5;
    foo(x);
}

我只是想知道这种行为是否有某种解释？这种行为还可能在哪里发生？如果我遗漏了什么，我将非常感激您的评论。

c++