C++模板，分配“静态”和“静态”的对象的问题和“动态”

Question

这段代码有什么问题？

template <typename T>
class Sample
{
public:
    T first;
    T second;
    typedef T Type;
};

and 

template <typename Item> 
class Process
{
public:
    void process (Item *item) 
    {
        typename Item::Type var = item->first + item->second;
        //Some code...
    }
};

方法“process”应该能够使用分配了“静态”和“动态”的对象...第一个选项有效，

int main(int argc, _TCHAR* argv[])
{
Sample <double> s;
Process <Sample <double> > a;
a.process(&s);

return 0;
}

但第二个选项无效

int main(int argc, _TCHAR* argv[])
{

Sample <double> *s = new Sample <double>();
Process <Sample <double> *> a;
a.process(s); //Error  C2664: 'Process<Item>::process' : cannot convert parameter 1 from 'Sample<T> *' to 'Sample<T> *'
return 0;
}

如何设计一个类和方法“process”以便能够工作一个对象同时分配了“静态”和“动态”？感谢您的帮助...

Answer 1

Process ::process() 需要一个 Item*，因此 Process *>::process() 需要一个 Sample **。

然而，解决方案要简单得多：

Sample <double> *s = new Sample <double>();
Process <Sample <double> > a;
a.process(s);

对于Process，对象是如何分配的根本不重要，它得到的只是指向它的指针并使用它（假设它不会维护所有权或尝试删除该对象）。

Answer 2

Sample <double> *s = new Sample <double>();
Process <Sample <double> *> a; //<<----------- here you go wrong!
a.process(s); 

Process 的参数仍应为 Sample，而不是 Sample*，因为后者使 Item*< /代码> => Sample**，调用 process 成员函数时不会传递该示例。

所以正确的代码应该是这样的：

Process <Sample<double> > a; //<<----------- now it's correct!
a.process(s);

现在应该可以工作了！

或者这样做：

Sample <double> *s = new Sample <double>();
Process <Sample <double> *> a; //<------ your version!
a.process( &s );                 //<------ note I'm passing pointer to pointer!
       // ^^ note the ampersand (&)

Answer 3

问题不在于对象是以某种方式分配的。至少通过任何可移植的标准方法，无法仅凭其指针来判断对象是在堆栈上分配还是在空闲存储上分配。对于“堆栈”对象和“自由存储”对象，通过指针访问对象成员的方式完全相同。

实际问题是您将错误的类型传递给第二个代码段中的 Process<> 变量定义：

Process <Sample <double> *> a;

查看 Process<> 的定义：

template <typename Item>
class Process
{
public:
    void process (Item *item)
    { /* ... */ }
};

当 Item 类型为 Sample 时*，那么 process() 的函数签名就变成：

void process (Sample <double>** item)
{ /* ... */ }

显然，这不是你想要的。

要解决此问题，请更改

Process <Sample <double> *> a;

为

Process <Sample <double> > a;

使用后者，process() 的函数签名变为 void process (Sample * item)，这应该允许您的要编译的代码片段。

Answer 4

Process <Sample <double> *> a;
a.process(s);

上述代码的 Process.process 签名将为 void process(Sample **) 因为 Item 是 Sample <双> * - 您希望它是 void process(Sample *)

将此更改为：

Process <Sample <double> *> a;

到：

Process <Sample <double> > a;

如果您查看完整的错误消息，编译器可能会告诉您有关尝试将一个 Sample 与另一个 Sample 匹配时使用两个不同的 T