C++ 中的函数重载按值或按引用传递参数

Question

如果我们有这个 C++ 中的示例函数代码

void foo(int x)  { std::cout << "foo(int)"   << std::endl; }
void foo(int& x) { std::cout << "foo(int &)" << std::endl; }

是否可以区分调用哪个函数对调用参数进行任何修改？

如果函数 foo 以下列方式调用：

foo( 10);

i = 10;
foo( static_cast<const int>(i));

foo( static_cast<const int&>(i)); 

它被称为第一个 foo 重载函数，因为它不能通过引用将 const 参数传递给非 const 参数。 但是，如何调用第二个 foo 重载函数？ 如果我调用下一个方式：

int i = 10;
foo( i);

它发生了一个模棱两可的错误，因为这两个函数都对该参数有效。

在此链接https://stackoverflow.com/a/5465379/6717386 中，解释了解决它的一种方法：使用对象而不是内置类型并使用私有的复制构造函数，因此它不能复制对象值，它必须被称为第二个 foo 重载函数并通过引用传递对象。但是，内置类型有什么办法吗？我必须更改函数名称以避免重载？

Answer 1

你可以做一个（函数的）强制转换来选择重载函数：

static_cast<void (&)(int&)>(foo)(i);

Demo

Answer 2

在大多数情况下，函数重载涉及不同的参数类型和不同的输入参数长度。

您的尝试通常是一种不好的做法，生成的编译代码取决于编译器，代码优化甚至可能使事情变得更加糟糕。

您可以考虑简单地为第二种方法添加第二个参数，如下所示：

void foo(int x)  { std::cout << "foo(int)"   << std::endl; }
void foo(int& x, ...) { std::cout << "foo(int &, ...)" << std::endl; }

... 可以是布尔类型，例如：bool anotherFunction

所以调用foo(param1, param2) 只会调用第二个代码，每个人都很好。

Answer 3

非常奇怪的设计，但如果你愿意...我会提供一个和你的设计一样奇怪的解决方案 在函数签名中使用 Xreference。然后在函数中，您可以使用std::is_lvalue_reference、std::is_rvalue_reference 检查您需要做什么。
像这样的

template<class T>
void foo(T&& x)
{
  static_assert(std::is_same<std::decay_t<T>, int>::value, "!"); 
  if (std::is_rvalue_reference<T&&>::value)
    std::cout << "do here what you want in foo(int x)";
  else
    std::cout << "do here what you want in foo(int & x)";
}

int main()
{
  int x = 5;
  foo(x); //"do here what you want in foo(int x)" - will be printed
  foo(std::move(x)); //"do here what you want in foo(int & x)" - will be printed
}

Answer 4

尽管@Jarod42 的回答很好，但作为替代解决方案，您可以依赖模板化入口点和内部函数的重载（当然，如果您不想处理显式转换）。
它遵循一个最小的工作示例：

#include<type_traits>
#include<iostream>
#include<utility>

void foo_i(char, int x)  { std::cout << "foo(int)"   << std::endl; }
void foo_i(int, int &x) { std::cout << "foo(int &)" << std::endl; }

template<typename T>
void foo(T &&t) {
    static_assert(std::is_same<std::decay_t<T>, int>::value, "!");
    foo_i(0, std::forward<T>(t));
}

int main() {
    foo( 10);
    int i = 10;
    foo( static_cast<const int>(i));
    foo( static_cast<const int &>(i)); 
    foo(i);
}

static_assert 用于检查参数是否涉及int（即int、int &、const int &、int &&` 等）。

从上面的代码可以看出，foo(i) 会打印出来：

foo(int &)

正如预期的那样。

Answer 5

另一个：

#include <iostream>
#include <functional>

void foo(int x)
{
    std::cout << "foo(int)\n";
}

template<typename T>
void foo(T&& x)
{
    std::cout << "foo(int&)\n";
}

int main()
{
    int i = 10;
    foo(i);           // foo(int)
    foo(std::ref(i)); // foo(int&)
}