6

int我想通过 r- 或 l- 值 (const) 引用将参数（某些具体类型，比如说）传递给成员函数。我的解决方案是：

#include <type_traits>
#include <utility>

struct F
{
    using desired_parameter_type = int;

    template< typename X, typename = typename std::enable_if< std::is_same< typename std::decay< X >::type, desired_parameter_type >::value >::type >
    void operator () (X && x) const
    {
        // or even static_assert(std::is_same< typename std::decay< X >::type, desired_parameter_type >::value, "");
        std::forward< X >(x); // something useful
    }
};

另一个例子在这里http://pastebin.com/9kgHmsVC。

但它太冗长了。如何以更简单的方式做到这一点？

std::remove_reference也许我应该使用and的叠加来std::remove_const代替std::decay，但这里只是简化了。

4

3 回答 3

4

如果我正确理解您的问题，您希望有一个函数，其参数是右值引用（如果提供右值）或左值引用const（如果提供左值）。

但是这个函数会做什么呢？好吧，因为它必须能够处理这两种情况，包括提供左值的情况，所以它不能修改它的输入（至少不是绑定到x参数的那个） - 如果这样做，它将违反const引用的语义.

但是话又说回来，如果它不能改变参数的状态，就没有理由允许右值引用：而是让x左值引用一直const都是。左值引用const可以绑定到右值，因此您将被允许同时传递右值和左值。

如果函数的语义根据传递的内容而有所不同，那么我会说编写两个这样的函数更有意义：一个接受右值引用，一个接受左值引用const。

于 2013-05-04T16:51:57.217 回答
1

正如安迪所提到的，这里重要的是你可以在你的函数中实际做些什么，这是有意义的。

  • 您可以将参数转发给另一个函数。在这种情况下，使用模板无关紧要，因为如果给出了错误的参数类型，它仍然会产生编译错误（错误的类型发送到第二个函数）。您可以使用template <typename T> blah (T && x).
  • 其他任何事情都需要您编写不同的代码，具体取决于它是 r 值还是 l 值引用，因此无论如何您都需要编写 2 个函数：blah (const int & x)和blah (int && x).

我假设您必须尝试第一个选项，并且您正在尝试使任何潜在的编译器错误更加用户友好。好吧，我会说这不值得；程序员仍然会在任何体面的编译器的输出中看到“由…调用”列表。

于 2013-05-04T17:02:55.317 回答
1

实际上，这是一个非常好的问题。到目前为止，我也一直在使用通用参考技巧加上enable_if锤子。在这里，我提出了一个不使用模板并使用左值转换作为替代方案的解决方案。

ofstream下面是一个真实的例子，使用在 C++98 中不可能（或非常困难）的已知就地使用示例出现这种情况（我ostringstream在示例中使用以使其更清楚）。

首先你会看到一个左值引用的函数，这在 C++98 中很常见。

#include<iostream>
#include<sstream>
struct A{int impl_;};

std::ostringstream& operator<<(std::ostringstream& oss, A const& a){
    oss << "A(" << a.impl_ << ")"; // possibly much longer code.
    return oss;
}
// naive C++11 rvalue overload without using templates
std::ostringstream& operator<<(std::ostringstream&& oss, A const& a){
    oss << "A(" << a.impl_ << ")"; // ok, but there is code repetition.
    return oss;
}

int main() {

    A a{2};
    {// C++98 way
        std::ostringstream oss;
        oss << a;
        std::cout << oss.str() << std::endl; // prints "A(2)", ok"
    }
    {// possible with C++11, because of the rvalue overload
        std::cout << (std::ostringstream() << a).str() << std::endl; //prints "A(2)", ok
    }
}

正如您在 C++11 中看到的，我们可以实现在 C++98 中无法实现的功能。那就是利用ostringstream（或ofstream）就地。现在来了 OP 问题，这两个重载看起来很相似，都可以合二为一吗？

一种选择是使用通用引用 ( Ostream&&)，并且可以选择使用 withenable_if来约束类型。不是很优雅。

通过使用这个“真实世界”示例，我发现如果想对 lvalue ref 和 rvalue ref 使用相同的代码是因为你可能可以将一个转换为另一个！

std::ostringstream& operator<<(std::ostringstream&& oss, A const& a){
    return operator<<(oss, a);
}

这看起来像一个无限递归函数，但这并不是因为它oss是一个左值引用（是的，它是一个左值引用，因为它有一个名称）。所以它会调用另一个重载。

您仍然需要编写两个函数，但其​​中一个函数的代码不必维护。

总之，如果“有意义”©将函数同时应用于（非 const）左值引用和右值，这也意味着您可以将右值转换为左值，因此您可以转发到单个函数。请注意，“有意义”取决于上下文和预期代码的含义，我们必须通过显式调用左值重载来“告诉”编译器。

我并不是说这比使用通用参考更好，我说这是一种替代方法，并且可以说意图更清楚。

此处可编辑代码：http: //ideone.com/XSxsvY。（欢迎反馈）

于 2014-02-04T00:25:48.033 回答