typename 的高级用法2

最新推荐文章于 2024-10-22 22:02:36 发布

原创最新推荐文章于 2024-10-22 22:02:36 发布 · 404 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#float #string #编译器

C/C++ 专栏收录该内容

1243 篇文章

订阅专栏

// stack5.cpp : Defines the entry point for the console application.
//
#include "stdafx.h"
#include <iostream>
#include <deque>
#include <string>
#include <exception>
using namespace std;
template <class T>
class CStack
{
public:
    void push(T const&);
    void pop();
    T top() const;
    bool empty() const;
    template <class T2>
    CStack<T>& operator = (CStack<T2> const&);
private:
    deque<T>    m_dqElems;  
};
template <class T>
void CStack<T>::push(T const& elem)
{
    m_dqElems.push_back(elem);
}
template <class T>
void CStack<T>::pop()
{
    if (m_dqElems.empty())
    {
        throw out_of_range("empty stack!");
    }
    m_dqElems.pop_back();
}
template <class T>
T CStack<T>::top() const
{
    if (m_dqElems.empty())
    {
        throw out_of_range("empty stack!");
    }
    return m_dqElems.back();
}
template <class T>
bool CStack<T>::empty() const
{
    return m_dqElems.empty();
}
template <class T>
template <class T2>
CStack<T>& CStack<T>::operator = (CStack<T2> const& op2)
{
    if ((void*)this == (void*)&op2)// 判断是否赋值给自己
    {
        return *this;
    }
    CStack<T2> tmpOp2(op2);// 建立 op2 的一份拷贝
    m_dqElems.clear(); // 移除所有现有元素
    while (!tmpOp2.empty())
    {
        m_dqElems.push_front(tmpOp2.top());
        tmpOp2.pop();
    }
    return *this;
}
int _tmain(int argc, _TCHAR* argv[])
{
    int i = 0;
    CStack<int> intStack;
    CStack<float> floatStack;
    for (i = 0; i < 10; i++)
    {
        intStack.push(i);
    }
    floatStack = intStack;
    cout << "floatStack contents: " << endl;
    while (!floatStack.empty())
    {
        cout << floatStack.top() << "/t";
        floatStack.pop();
    }
    cout << endl;
    return 0;
}

实作这个运算符（成员函数）时，你可能希望取得「赋值符号右侧之op2 stack」的所有必要资料，但是这个stack的类型和目前（此身）类型不同（是的，如果你以两个不同的类型实例化同一个classtemplate，你会得到两个不同的类型），所以只能通过public接口来得到那些数据。因此惟一能够取得 op2 数据的办法就是调用其 top()函数。你必须经由 top()取得op2 的所有数据，而这必须借助 op2 的一份拷贝来实现：每取得一笔数据，就运用 pop()把该数据从op2 的拷贝中移除。由于top()传回的是stack之中最后（最晚）被推入的元素，所以我们需要反方向把元素安插回去。基于这种需求，这里使用了deque，它提供push_front()操作，可以把一个元素安插到容器最前面。有了这个 member template，你就可以把一个 int stack 赋值（assign）给一个 float stack：

Stack<int> intStack1, intStack2; //stack for ints

Stack<float> floatStack; //stack for floats

...

floatStack = intStack1; // OK：两个 stacks 类型不同，但 int 可转型为 float。

当然，这个赋值动作并不会改动 stack和其元素的类型。赋值完成后，floatStack 的元素类型还是 float，而 top()仍然传回 float 值。也许你会认为，这么做会使得类型检查失效，因为你甚至可以把任意类型的元素赋值给另一个 stack。然而事实并非如此。必要的类型检查会在「来源端 stack」的元素（拷贝）被安插到「目的端 stack」时进行：

elems.push_front(tmp.top());

如果你将一个 string stack 赋值给一个 float stack ，以上述句编译时就会发生错误：「elems.push_front()无法接受 tmp.top()的返回类型」。具体的错误讯息因编译器而异，但含义类似。

Stack<std::string> stringStack; // stack of strings

Stack<float> floatStack; // stack of floats

…

floatStack = stringStack; // 错误：std::string 无法转型为 float

注意，前述的 template assignment 运算符并不取代 default assignment 运算符。如果你在相同类型的 stack 之间赋值，编译器还是会采用 default assignment 运算符。