0

我有一个模板联合类型 NodeType。问题是在分配其变量字段时未正确设置，并且在随后访问时包含垃圾值。具体来说，问题发生在 _field1 和 _field2 上 - 请参阅主要内容。

#include <cstdlib>
#include <iostream>

using namespace std;


        template <class T>
        struct structExampleType                
        {
          T _structField;
          typedef structExampleType<T>* pointerStructExample;
        };


         enum TYPE_tag
         {FIELD1_tag, FIELD2_tag} TYPE_tag; 

          template <class T>//, class P>
          union NodeType
          {
           enum TYPE_tag _nodeType_tag;
           char _field1;
           typename structExampleType<T>::pointerStructExample _field2;

           NodeType(){_field2=0;}

           NodeType(enum TYPE_tag nodeType_tag, char _charField)
           {
            _nodeType_tag=nodeType_tag;
            _field1=_charField;
            //_field2=0;
           }  

           NodeType(enum TYPE_tag nodeType_tag, typename structExampleType<T>::pointerStructExample pointer)
           {
            _nodeType_tag=nodeType_tag;
            _field2=pointer;
            //_field1='-';
           }          

          };







int main(int argc, char *argv[])
{
    NodeType<int> node1, node2;
    structExampleType<int>* structExamplePointer;

    structExamplePointer=new structExampleType<int>();

    structExamplePointer->_structField=100;
//    structExamplePointer->_field2=structExamplePointer;

    node1=NodeType<int>(FIELD1_tag,'-');
    node2=NodeType<int>(FIELD2_tag,structExamplePointer);    


    cout<<endl<<"node1: ";    
    if (node1._nodeType_tag==FIELD1_tag)
    {cout<<node1._field1<<endl;}
    else
    {cout<<node1._field2<<endl;}        


    cout<<endl<<"node2: ";
    if (node2._nodeType_tag==FIELD2_tag)
    {cout<<node2._field1<<endl;}
    else
    {
        cout<<node2._field2<<endl;
        cout<<(node2._field2)->_structField<<endl;
    }  



    system("PAUSE");
    return EXIT_SUCCESS;
}

可能是什么问题？在此先感谢您的时间。

4

4 回答 4

3

在main你有这两行：

structExampleType<int>* structExamplePointer;

structExamplePointer->_structField=100;

请记住，除非它们具有默认构造函数（指针没有），否则不会初始化局部变量，因此在第二个中您取消引用未初始化的指针structExamplePointer，导致未定义的行为。

union当您尝试设置多个字段时，您似乎也误解了 的目的。在union所有字段中共享相同的空间，因此当写入一个成员时，所有成员都会更改。只有最后一次写给成员是有效的。尝试使用其他字段可能会再次导致未定义的行为。

如果您需要一个“标签”字段和其他数据，则应该选择包含标签和联合数据的结构：

struct NodeType
{
    enum TAG_Type
    {
        FIELD1,
        FIELD2
    } type;

    union
    {
        char field1;
        struct some_struct* field2;
    }
};
于 2013-08-15T07:39:50.377 回答
2

使用 aunion成员尝试占用内存中的相同空间，因此您的构造函数通过分配给每个成员并相互覆盖而导致问题。

联合体的大小只有容纳其最大数据成员所需的大小。其他数据成员分配在与该最大成员的一部分相同的字节中。

于 2013-08-15T07:38:45.497 回答
2

您在这里实际拥有的不是 field1 和 field2 的并集，而是 { tag, field1, field2 } 的并集。这就是你看到垃圾的原因。联合仍然是一个单一的内存区域，但你在你的构造逻辑中设置了三倍。

您可以从更简单的案例开始并阅读一些文档，例如http://msdn.microsoft.com/en-us/library/5dxy4b7b.aspx

为了实现你的目标，你可能会做这样的事情（你需要你的标签在联合之外）：

union MyUnionType { int data_int; 双数据_双; }

typedef enum { IntTag, DoubleTag } UnionTypeTag;

类 MyVariableClass { 私有：MyUnionType m_variableField; UnionTypeTag m_variableFieldType; }

另一种方法是设计您的代码，以便在代码路径中的任何位置您都知道您正在处理的联合类型的“风格”。

我个人的看法是，后者（总是知道你的工会“味道”是什么）在他们想到工会概念时是 K&R 的想法。

于 2013-08-15T07:46:28.307 回答
0

structExampleType<int>* structExamplePointer你能在使用它之前初始化你的指针吗？

由于取消引用未初始化的指针是导致问题的原因

于 2013-08-15T07:38:59.643 回答