C++: Mặc định khởi tạo một kiểu tích phân trong một hàm mẫu

Question

Vì mục đích giáo dục, tôi đang sửa lớp C++ số mẫu của riêng mình. Tôi muốn để có thể viết (v, w) cho dấu chấm sản phẩm của hai vectơ và do quá tải operator,() như sau:

template<class T> 
const T Vector<T>::operator,(const Vector<T>& v) const 
{ 
    assertEqualSize(v); 

    T t; 
    for(size_t i=0; i<numElements; i++) { 
     t += elements[i] * v[i]; 
    } 
    return t; 
} 

Câu hỏi của tôi bây giờ là: làm thế nào để đúng cách khởi tạo t với giá trị hợp lý (ví dụ như 0.0 cho Vector<double>)? Tôi đã thử T t(); nhưng sau đó g ++ cho tôi biết, ví dụ: "double (*)()" không thể chuyển đổi thành "const double" tại câu lệnh return và rằng operator+=() sẽ không được xác định cho "(double(), double)".

Cảm ơn bạn rất nhiều!

Answer 1

Những gì bạn cần là gọi giá trị khởi tạo, trong đó có tác động của zero-khởi tạo loại built-in:

T t{};  // C++11 
T t = T(); // C++03 and C++11 

Lý do này không làm việc

T t(); 

là nó là một khai báo của một hàm không tham số được gọi là t, trả về một T.

Answer 2

Mã của bạn không cho phép bất kỳ loại T, bao gồm cả những người dùng xác định, khi đơn giản giá trị khởi gọi constructor mặc định và do đó có thể không zero-khởi. Tôi sẽ ngạc nhiên nếu bạn dự định khác với các loại được xây dựng trong các loại T, nhưng người dùng mã của bạn có thể có các ý tưởng khác ... Bạn nên bảo vệ chống lại điều đó, ví dụ: qua SFINAE:

template<class T> 
struct is_complex { static const bool value = false; }; 
template<class U> 
struct is_complex<std::complex<U>> : std::is_floating_point<U> {}; 

template<class T> 
typename 
std::enable_if<std::is_floating_point<T>::value || is_complex<T>::value, 
       T>::type 
T Vector<T>::operator,(const Vector<T>& v) const 
{ 
    T t{}; // value-initialisation is now guaranteed to be zero-initialisation 
    /* ... */ 
} 

Tất nhiên, kiểu này SFINAE có thể được áp dụng cho class Vector<T> như một toàn thể (thay vì áp dụng nó với các phương pháp được lựa chọn).

---

Chỉ cần làm rõ: điều này hạn chế đáng kể các loại có thể T chỉ 6 loại phép (float, double, long double, và tương ứng std::complex<> loại). Tất nhiên, người ta có thể cho phép các loại số nguyên, nhưng tôi sẽ ngạc nhiên nếu bạn muốn hoạt động vector cho vectơ số nguyên.