Question

以下是代码段：

#include <iostream>
#include <string>
#include <vector>

template<class T>
class Wrapper {
public:
    T& t;
    explicit Wrapper2( T& obj ) : t(obj) {} 
};

class Car {
public:
    std::string color;
    std::string name;
    Car(){}
    Car( std::string colorIn, std::string nameIn ) : color( colorIn ), name( nameIn ){}
};

int _tmain( int iNumArguments, _TCHAR* pArgumentText[] ) {
    typedef Wrapper<Car> car;

    // Create 2 Containers
    std::vector<car> collection1;
    std::vector<car> collection2;

    // Populate collection 1 with reference objects
    collection1.push_back( Car("black", "Ford") );
    collection1.push_back( Car("white", "BMW") );
    collection1.push_back( Car("yellow", "Audi") );

    // use referenced object at index 0 in collection 1
    // to populate index 0 of collection 2
    collection2.push_back( collection1[0] );

    // Print Out index 0 of collection2's referenced object's fields
    std::cout << collection2[0].t.color << " " << collection2[0].t.name << std::endl;

    // Change collection2's index 0 referenced object's fields
    collection2[0].t.color = std::string( "green" );
    collection2[0].t.name  = std::string( "Gremlin" );

    // Print out collection1's index 0 referenced object's fields
    // and they are changed
    std::cout << collection1[0].ptr->color << " " << collection1[0].ptr->name << std::endl;
    return 0;
}

这可以在MSVS2015 CE中成功编译，构建和运行，没有任何错误。

这是否会产生未定义的行为，如果是这样的话;怎么样？

Answer 1

创建引用的类模板包装器会导致未定义的行为吗？

没有

然而，一般滥用引用（以及指针和迭代器）。如果引用的对象被销毁，那么该引用将保持悬空状态。所有引用都会发生这种情况，而不仅仅是那些包含在类中的引用 - 包装器没有效果。当引用悬空时，使用它具有未定义的行为。

collection1.push_back( Car("black", "Ford") );

这里，对象是临时的。该对象一直存在，直到push_back结束。之后，向量中的包装器中的引用是悬空的。

std::cout << collection2[0].t.color << " " << collection2[0].t.name << std::endl;

这里使用悬空引用，程序具有未定义的行为。

以下是使用没有UB的包装器的示例：

Car c;
collection1.push_back(c);
collection1[0].color = "black";

创建引用的类模板包装器会导致未定义的行为吗？

1 个答案: