C ++-在模板類中顯式調用構造函數模板？

Question

我有一個名為ScalarClamped的類模板。 此類的實例具有用戶確定的值范圍，並且每當為其分配的值超出其范圍時，該值將被限制在用戶確定的值范圍內，因此名稱為“ ScalarClamped”：

ScalarClamped<float> scalar__(75, 0, 100); // Parameters: current value (75), minimum allowed value (0), maximum allowed value(100).
scalar__ += 50;
std::cout << scalar__.value() << std::endl; // Output: 100.
scalar -= 150;
std::cout << scalar__.value() << std::endl; // Output: 0.

當實現成員函數operator+ ，我遇到了一個問題。 這是一個重載的operator+的實現：

template<typename T>
ScalarClamped<T> ScalarClamped<T>::operator+(ScalarClamped const& scalar_clamped_){
    return ScalarClamped<T>::ScalarClamped<T&&, T const&, T const&>(_m_tValue + scalar_clamped_._m_tValue, _m_tValueMin, _m_tValueMax);
}

如您所見，我正在嘗試調用模板構造函數。 這是它的實現（進行中的工作，可能還包含錯誤）：

template<typename T>
template<typename TypeValue, typename TypeMin, typename TypeMax>
ScalarClamped<T>::ScalarClamped(TypeValue value_, TypeMin min_, TypeMax max_):
    // Initialization list:
    _m_tValue((std::is_lvalue_reference<TypeValue>::value) ? value_ : std::move(value_)),
    _m_tValueMax((std::is_lvalue_reference<TypeMax>::value) ? max_ : std::move(max_)),
    _m_tValueMin((std::is_lvalue_reference<TypeMin>::value) ? min_ : std::move(min_))
    // Function body:
    {
        Algorithm::clamp<T&, T const&, T const&>(_m_tValue, _m_tValueMin, _m_tValueMax);
    }

對我而言，主要問題是我無法正確調用此構造函數模板。 我收到以下錯誤消息（ 縮短了 ）：

... error: dependent-name 'ScalarClamped<T>::ScalarClamped<T&&, const T&, const T&>' is parsed as a non-type, but instantiation yields a type|

顯然，我試圖以錯誤的方式調用它。 如何適當調用我的構造函數模板？

Answer 1

無法為構造函數模板提供顯式模板參數。

必須推斷類型：

template<typename T>
template<typename TypeValue, typename TypeMin, typename TypeMax>
ScalarClamped<T>::ScalarClamped(TypeValue&& value_, TypeMin&& min_, TypeMax&& max_):
    // Initialization list:
    _m_tValue(std::forward<TypeValue>(value_)),
    _m_tValueMax(std::forward<TypeMax>(max_)),
    _m_tValueMin(std::forward<TypeMin>(min_))
    // Function body:
    {
        Algorithm::clamp<TypeValue, TypeMin, TypeMax>(_m_tValue, _m_tValueMin, _m_tValueMax);
    }

template<typename T>
ScalarClamped<T>
ScalarClamped<T>::operator+(ScalarClamped const& scalar_clamped_) const
{
    return ScalarClamped<T>::ScalarClamped(
        _m_tValue + scalar_clamped_._m_tValue,
        _m_tValueMin,
        _m_tValueMax);
}