如何使用 std::forward 在构造函数中使 const 仅左值

template < typename T1, typename T2 >
MyClass(T1 && v1, T2 && v2)
    : m_v1(std::forward< T1 >(v1))
    , m_v2(std::forward< T2 >(v2))
{}

让我们有一个名为 的类MyClass，它的构造函数如上所示。如果没有std::forward我们必须编写 4 个不同的构造函数：

MyClass(SomeType&& v1, SomeType&& v2);
MyClass(SomeType&& v1, const SomeType& v2);
MyClass(const SomeType& v1, SomeType&& v2);
MyClass(const SomeType& v1, const SomeType& v2);

这里我们使用const SomeType&，因为我们不想改变我们的左值。当然，我们有const_cast，但很容易找到这样的cast。同时，我们的模板构造函数 withstd::forward生成参数类型如下的构造函数：SomeType&- 没有const，因此我们可以更改构造函数体中的左值。

问题：正确的解决方法是什么？我应该添加const（怎么做？）还是只是以适当的方式编写我的构造函数的主体 - 所以，它们不会改变左值。在添加的情况下，const我们将得到这样的结果：const T1&&如果我们将右值赋予构造函数，我们将无法移动它，因为它将是常量右值。我想，const只有当我们给出左值时，我们才必须添加。

我试图在n = 555;这里阻止：

#include <iostream>
#include <string>
#include <vector>
#include <utility>
#include <memory>
#include <ciso646>

class A
{
public:
    using number_t = std::int32_t;
    using string_t = std::string;

    template < typename T >
    using vector_t = std::vector < T >;

public:
    template < typename T1, typename T2, typename T3, 
        typename Dummy = std::enable_if_t < std::is_same < number_t, 
        typename std::decay < T1 > ::type > ::value > >
    A(T1 && n, T2 && s, T3 && v) :
        m_n { std::forward < T1 > (n) },
        m_s { std::forward < T2 > (s) },
        m_v { std::forward < T3 > (v) } 
    {
        n = 555;
    }

public:
    number_t              m_n;
    string_t              m_s;
    vector_t < number_t > m_v;
};

int main()
{
    A::number_t                 n { 666 };
    A::string_t                 s { "hello" };
    A::vector_t < A::number_t > v { 1, 2, 3 };

    std::cout << n << std::endl;

    A a1(n, s, v);
    A a2(1, "hello", std::vector<A::number_t>( { 4, 5, 6 } ));

    std::cout << n << std::endl;

    A a3(1, "hello", std::vector<int>( { 4, 5, 6 } ));

    return 0;
}