5

苹果.h

class Apple {
public:
    Apple(int);
    static int typeID;
private:
    int id_;
};

苹果.cpp

#include "Apple.h"
Apple::Apple(int pID) {
    id_ = pID;
}

Potato.h、Potato.cpp 与 Apple 相同

存储.h

#pragma once
#include "Apple.h"
#include "Potato.h"
#include <vector>
class Storage {
public:
    Storage();
    template<typename foodName> void store(foodName * object){
        (*getBasket<foodName>()).push_back(object);
    };
    template<typename foodName> int countSize(){
        return (*getBasket<foodName>()).size();
    };

private:
    std::vector<Apple*> applebasket_;
    std::vector<Potato*> potatobasket_;
    template <typename foodName> std::vector<foodName*> * getBasket(){
        std::vector<foodName*> * result;
        switch(foodName::typeID){
            case 0:
                result = &applebasket_;
                break;
            case 1:
                //result = &potatobasket_;
                break;
        }
        return result;
    } 
};

存储.cpp

#include "Storage.h"
int Apple::typeID;
int Potato::typeID;
Storage::Storage() {
    Apple::typeID = 0;
    Potato::typeID =1;
}

主文件

#include "Storage.h"
#include <iostream>
int main() {
    Apple* apple;
    Potato* potato;
    Storage storage;
    int i;
    for(i = 0;i < 7;i++){
        apple = new Apple(i);
        storage.store<Apple>(apple);  
    }      
    std::cout<<storage.countSize<Apple>();
    return 0;
}

此代码工作并输出正确大小的向量，但如果未注释 switch 语句（在 Storage.h 内）中的 case 行，编译器（g++）会抛出“错误：无法将 'std::vector < Potato*>* ' 转换为 'std ::vector< Apple*>* ' 在赋值中”。无论如何，这就像编译器尝试两种情况一样，我找不到它是否可能以及如何避免这种情况。我需要这方面的帮助，也许需要一些关于整个事情的建议（不同类型容器的一个接口），我最近开始学习 C++，可能我在这里尝试这样做的方式完全是一团糟。

4

4 回答 4

2

您的代码无法编译，因为两者都case应该编译这是不可能的，因为两者的类型不同case。

解决此问题的一种方法是使用重载而不是函数模板作为（这意味着您的类中不需要typeID！）：

std::vector<Apple*> * get_basket(Apple *)
{
   return &applebasket_;  //return pointer to the apple basket
}

std::vector<Potato*> * get_basket(Potato *)
{
   return &potatobasket_; //return pointer to the potate basket
}

并将其称为：

template<typename FoodType> 
void store(FoodType * object)
{
    std::vector<FoodType> * basket = get_basket(static_cast<FoodType*>(0));
    basket->push_back(object);
}

这里的技巧是你有两个重载，每个重载都有一个不同类型的参数，所以你可以static_cast<FoodType*>(0)用来帮助编译器根据表达式的类型来选择正确的重载，表达式static_cast<FoodType*>(0)的类型可以是 typeApple*或Potato*.

@Gorpik在评论中说（这个以及其他解决方案）都很丑陋，所以这是解决这个问题的另一种尝试。

base_storage将类模板定义为：

template<typename FoodType>
class base_storage
{
    std::vector<FoodType*> m_storage;
    public:
        void store(FoodType *foodItem)
        {
            m_storage.push_back(foodItem);
        }
        size_t count() const
        {
            return m_storage.size();
        }
};

这个基类只存储一种类型的食物，但在问题中，我们需要存储两种类型的食物。因此，为了做到这一点，让我们定义Storage从上述类模板派生的另一个类：

class storage : private base_storage<Apple>, private base_storage<Potato>
{
    public:
        template<typename FoodType> 
        void store(FoodType * foodItem)
        {
            base_storage<FoodType>::store(foodItem);
        }
        template<typename FoodType> 
        size_t count() const
        {
            return base_storage<FoodType>::count();
        }
};

这里注意两点：

  • 该类storage现在没有任何成员数据。它只是将调用转发到根据模板参数类型选择的基类FoodType。
  • 它从基类私下派生。所以不是is-a关系。

在此处查看此解决方案的在线演示：http: //ideone.com/Ykjo5

这个解决方案的美妙之处在于，如果你想让它适用于三种类型的食物，那么你只需要从三个基类中派生它：

class storage : private base_storage<Apple>, 
                private base_storage<Potato>,
                private base_storage<Mango>   //added line!
{

     //same as before; no change at all !

};

演示：http: //ideone.com/lnMds

于 2012-06-14T14:13:51.180 回答
2

您甚至不需要使用 typeID 字段。让编译器完成所有工作。

class Storage {
public:
    Storage();
    template<typename foodName> void store(foodName * object){
        (*getBasket<foodName>()).push_back(object);
    };
    template<typename foodName> int countSize(){
        return (*getBasket<foodName>()).size();
    };

private:
    std::vector<Apple*> applebasket_;
    std::vector<Potato*> potatobasket_;

    template <typename foodName> std::vector<foodName*> * getBasket();
};


template <> std::vector<Apple*> * Storage::getBasket()
{
    return &applebasket_;
} 
template <> std::vector<Potato*> * Storage::getBasket()
{
    return &potatobasket_;
}
于 2012-06-14T14:20:23.377 回答
2

std::vector<Apple *>并且std::vector<Potato *>是不同的类型。C++ 模板在编译时生成类定义及其所有代码的完整副本，因此生成的具体类型之间根本没有任何关系。

如果AppleandPotato共享一个公共父类，假设Food您可以将这两种东西都存储在 a 中std::vector<Food *>，但您仍然无法返回 astd::vector<Apple *>预期std::vector<Food *>的 a 。

您的getBasket()方法试图通过模板化返回类型来解决这个问题，但它不能，因为模板是在编译时评估的，而 switch 语句是在运行时评估的。编译器必须在程序开始运行之前决定foodStuff参数是什么，因此它不知道该 switch 语句的结果可能是什么。然而无论如何它都必须做出决定，并且它已经放弃了它可以从return它在函数体中找到的第一个语句得出的结果，不幸的结果是第二个语句无效。

因此，您需要分别存储和检索Apples 和Potatos （可能像其他一些答案所建议的那样使用模板），或者使用继承，以便您可以将它们存储在可以理解公共父类型的东西中。

于 2012-06-14T14:33:22.013 回答
0

专门getBasket针对这两种情况。

或者更好的是，不要以这种方式混合抽象级别，而只需提供单独的土豆和苹果容器。

于 2012-06-14T14:17:26.023 回答