Question

我正在练习使用C ++中的模板和类。我的目标是为双端队列写一个模板类。它将具有“insert_head”，“insert_tail”，“remove_tail”和“remove head”的功能，以及使用“cout”打印的功能。此外，'='运算符必须能够用于将类的一个实例复制到另一个实例。这是我目前的代码：

#ifndef DEQUE_H
#define DEQUE_H

template <typename T>
class Deque {
public:
    Deque(int size = 0, int capacity = 1000) : size_(size), capacity_(capacity) 
    {}
    Deque(Deque & d) : x_(d.x()), size_(d.size()), capacity_(d.capacity()) {}


std::ostream & operator<<(std::ostream & cout) {
    cout << '[';

    if (size_ > 0) {
        for (int i = 0; i < (size_ - 1)* sizeof(T); i += sizeof(T)) {
            std::cout << *(x_ + i) << ',';
        }
        cout << *(x_ + (size_ - 1)* sizeof(T));
    }
    cout << ']';
    return cout;
}

Deque operator=(Deque d) {
    Deque dq(d);
    return dq;
}

void print_test() {
    std::cout << '[';

    if (size_ > 0) {
        for (int i = 0; i < (size_ - 1)* sizeof(T); i += sizeof(T)) {
            std::cout << *(x_ + i) << ',';
        }
        std::cout << *(x_ + (size_ - 1)* sizeof(T));
    }
    std::cout << ']';
}

int * x() {
    return x_;
}
int size() {
    return size_;
}
int capacity() {
    return capacity_;
}

bool is_empty() {
    return size_ == 0;
}

void insert_tail(T tail) {
    if (size_ < capacity_) {
        *(x_ + sizeof(T) * size_) = tail;
        size_++;
    } else {
        // throw overflow
    }
}
T remove_tail() {
    if (size_ > 0) {
        T ret = *(x_ + sizeof(T) * (size_ - 1));
        std::cout << ret;
        size_--;
        return ret;
    } else {
        // throw underflow
    }
}

void insert_head(T head) {
    if (size_ > 0 && size_ < capacity_) {
        for (int i = (size_ - 1) * sizeof(T); i < 0; i -= sizeof(T)) {
            *(x_ + i + sizeof(T)) = *(x_ + i);
        }
    }
    if (size_ < capacity_) {
        *x_ = head;
        size_++;
    } else {
        // throw overflow
    }
}

T remove_head() {

    if (size_ > 0) {
        T ret = *x_;
        for (int i = sizeof(T); i < size_* sizeof(T); i += sizeof(T)) {
            *(x_ + i - sizeof(T)) = *(x_ + i);
        }   
        size_--;
        return ret;
    } else {
        // throw underflow
    }
}

private:
    T * x_;
    int size_;
    int capacity_;
};

#endif

这是我使用该类的测试代码：

#include <iostream>
#include "Deque.h"

int main(int argc, char const *argv[])
{
    Deque< int > dq;


    dq.insert_head(1);

    // dq.insert_head(2); // adding head when not empty causes bug

    dq.insert_tail(3);
    dq.insert_tail(4);
    dq.insert_tail(5);
    dq.print_test(); std::cout << std::endl;

    // std::cout << dq; // '<<' not overloaded properly'

    std::cout << dq.remove_head() << " head removed\n";

    // int x = dq.remove_head(); // seg faults when assigning returned value to a variable 

    dq.insert_tail(2);
    dq.print_test();
    std::cout << std::endl;

    Deque< int > dq1(dq);
    Deque< int > dq2;

    // dq2 = dq1; // '=' not overloaded properly

    return 0;
}

我的四个问题中的每一个都在我的测试文件中注释掉的代码行中，这是一个进一步的解释：

当调用“dq.insert_head（2）”并且dq不为空（大小> 0）时，我尝试将deque中的所有其他元素移到一个位置，这样我就可以在那里插入新值，有一个问题，元素不会移动。
“std :: cout＆lt;＆lt; dq”不会像它应该打印dq一样。代码与“print_test（）”方法非常相似，但是当我运行程序时，我得到错误“不匹配运算符＆lt;＆lt;”。这是因为它是模板类吗？或者我在做其他完全错误的事情？
尝试从双端队列中移除头部或尾部时，我试图返回删除的值。在未注释掉的代码行中，返回的值按原样打印，但下面的代码行会导致seg错误。是因为我试图将模板varabale分配给整数变量吗？
我的上一个问题是'='运算符没有将该类的一个实例复制到另一个实例。我的目标是创建一个新的类实例，然后返回该实例（正如你在“Deque operator =（Deque d）”中看到的那样），但这并不像我希望的那样工作。使用模板类重载'='函数的最佳方法是什么。

感谢您的帮助，非常感谢您对这些问题的回答。

Answer 1

您的所有功能都存在问题：

 Deque(int size = 0, int capacity = 1000) : size_(size), capacity_(capacity) {}

如果允许指定大小，则必须为这些项分配和初始化内存。您应该只指定容量。
x_未初始化。

假设您想要一个固定容量，那么您的构造函数应该是：

Deque(int capacity = 1000) 
    : size_(0)
    , x_(new T[capacity])
    , capacity_(capacity) 
{
}

即使这是一个简化版本，因为它会调用所有可能效率低下的项目的构造函数，并要求T具有可访问的默认构造函数。

现在是复制构造函数：

复制构造函数应该进行深层复制。否则，在删除已完成复制的第一个Deque后，您的程序将（可能）崩溃，因为删除项目两次是未定义的行为。
原型应采用恒定参考，如：Deque(const Deque &other);

代码看起来与此类似：

Deque(const Deque &other)
    : capacity_(other.capacity_)
    , x_(new T[other.capacity_])
    , size_(other.size_)
{
    for (int i = 0; i != size_; ++i)
    {
        x_[i] = other.x_[i];
    }
}

对于<<，原型应为：

friend std::ostream & operator<<(std::ostream &cout, const T &data)

假设在类中声明它以访问私有字段。您需要传递运算符工作的数据。

对于赋值运算符，这样的东西可以起作用：

Deque& operator=(const Deque &other)
{
    // Use swap idiom...
    Deque tmp(other);

    // Swap pointers so old x_ get destroyed...
    T *old_x = x_;
    x_ = tmp.x_;
    tmp.x_ = old_x;

    // Usually one would use std::swap. 
    // Here as tmp get destroyed, it is not strictly to swap capacity_ and size_.
    capacity_ = tmp.capacity_;
    size_ = tmp.size_;
}

现在为x()函数： - 如果您执行队列，您可能不希望公开数据，因此应删除该功能。 - 如果保留了该函数，则该函数应为const并返回指向T：T *x() const;的指针以获得预期的功能。

size，capacity和is_empty都应该是const个成员函数。

其他人的评论（尤其是无关的insert_tail）已经解释了

remove_tail和sizeof个问题。

insert_head和remove_head的类似问题也是如此。此外，复制现有项目的代码可以在私有函数内重构，以遵循DRY原则并避免代码重复。

Answer 2

第一个问题的答案是删除sizeof(T)，以便最终得到此

    for (int i = (size_ - 1); i > 0; i --) {
        *(x_ + i + 1) = *(x_ + i);
    }

第二个问题的答案是将<<重载的声明更改为friend std::ostream & operator<<(std::ostream & x, Deque n)并初始化课堂外的正文。

第三个问题的答案是你不能返回一个int指针，它可能指向一个与T不同的内存位置块。

第四个问题的答案是执行以下操作：

Deque& operator=(const Deque& d) {
    x_ = d.x_; // Deep copy
    size_ = d.size_;
    capacity_ = d.capacity_;
    return *this;
}

C ++中的模板类和函数重载

2 个答案: