主页 / 问题 / 749525
Accepted
Jens
Asked:2020-11-25 23:59:11 +0000 UTC2020-11-25 23:59:11 +0000 UTC

使用 std::forward 在构造函数中进行类型检查

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

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

public:
    template < class T1, class T2, class T3 >
    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) } {}

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

问题：我需要在构造函数中检查T1,T2的类型吗？T3我认为这是必要的，因为这个构造函数很容易吃掉，例如，作为第一个参数double，这是不可取的。如何正确检查？我正在考虑std::enable_if_t和std::is_same。如果是这样，如果构造函数接受左值，如何删除引用？编译器抱怨std::is_same < number_t, std::remove_reference< T1 >::type >::value. 写道：“需要一种类型，而不是这个类型。”

c++

2 个回答

  1. Best Answer

    在我看来，在这种情况下应用是合乎逻辑的std::decay——比如

    template<class T1, class T2, class T3,
    typename = enable_if_t<is_same_v<decay_t<T1>,int>>,
    typename = enable_if_t<is_same_v<decay_t<T2>,int>>,
    typename = enable_if_t<is_same_v<decay_t<T3>,int>>
    >
B(T1&& t1, T2&& t2, T3&& t3) :
    a1_{std::forward<T1>(t1)},
    a2_{std::forward<T2>(t2)},
    a3_{std::forward<T3>(t3)}
{
}

    顺便一提，

    typename = enable_if_t<is_same_v<int,remove_reference_t<T1>>>

    效果也很好。此外，在某些情况下它甚至更好——例如，它会const int decay通过删除来跳过它const，但现在它remove_reference_t不需要，因此，例如，如果构造函数需要一个引用，而不是一个常量引用，那么最好remove_reference_t是一个常量参考比较好decay。

    总之，在文件和某种母亲的帮助下调整到位...... :)

    • 3

  2. 作为一种解决方案 - 您可以使用std::is_convertible而不是std::is_same：

    using number_type = std::uint64_t;
using string_type = std::string;
using vector_type = std::vector < int >;

template < typename S, typename V,
           typename Enable = std::enable_if_t < 
    std::is_convertible < std::decay_t < S > *, string_type * > ::value && 
    std::is_convertible < std::decay_t < V > *, vector_type * > ::value > >
Implementation(number_type number, S && string, V && vector) noexcept(true) :
    m_number { std::move (number) },
    m_string { std::forward < S > (string) },
    m_vector { std::forward < V > (vector) }
{}
    • 0

相关问题