我简化了我的代码以找到问题的根源:

//==============================================================================
// PRE-DEFINITIONS

#define GIVE_ME_ODD_BEHAVIOUR true

//==============================================================================
// INCLUDES

#include <iostream>

//==============================================================================
// TYPES

//------------------------------------------------------------------------------
template<typename T> struct X {

  T data;

  X() : data(0)
  { std::cout << "X construction @ " << this     << std::endl; }

  template<typename TT>
  X(const X<TT> & other) : data(other.data)
  { std::cout << "X construction @ " << this << " from " << &other << std::endl; }

  ~X()
  { std::cout << "X destruction  @ " << this << std::endl; }

  template<typename TT>
  void Copy(const X<TT> & other)
  { std::cout << "X copy         @ " << this << " from " << &other << std::endl; }

};

//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
template<typename T>
X<double> XConversion(const X<T> & other)
{

#if GIVE_ME_ODD_BEHAVIOUR

  return X<double>(other);

#else

  X<double> d;
  d.Copy(other);

  return d;

#endif

}


//==============================================================================
// MAIN

int main()
{

  X<double> d;
  X<int>    i;

  std::cout << std::endl;

  d = XConversion(i);

  std::cout << std::endl;

  d = XConversion(d);         // !!!

  std::cout << std::endl;

  return 0;

}

其中，与

GIVE_ME_ODD_BEHAVIOUR true

给出输出:

X construction @ 0x23aa70
X construction @ 0x23aa60

X construction @ 0x23aa80 from 0x23aa60
X destruction  @ 0x23aa80

X destruction  @ 0x23aa90 // never created !!!

X destruction  @ 0x23aa60
X destruction  @ 0x23aa70

看起来类似于THIS问题，但我确实定义了构造函数。我在这里看到了复制省略优化点，但是:

• 为什么编译器会破坏它优化掉而从未创建的对象？
• 我怎样才能确保它不会发生？

附加信息:

我尝试了 gcc 4.8.1 和 C++ Builder XE3，关闭优化，调试编译，结果相同。

我试着去掉像

struct X {

  double data
  ...
  X(const X &)
  ...

};

但结果相同。

解决这个问题的一种方法是，例如，将 cctor 设为私有(private)并仅公开 Copy 方法。但这会阻止我(任何人)甚至从函数返回对象......

背景:

我有一组相互友好且可转换的模板类。这些类共享相同的数据，但通过部分特化以不同的方式操作它们。这些实例可以根据需要进行数据的软拷贝或原始拷贝。如果他们做软拷贝，ref counter 会增加。通过额外删除实际上从未创建的实例，ref 计数器会在没有事先增加的情况下减少。

最佳答案

似乎编译器为您的情况生成了一个复制构造函数，也许它不喜欢带有模板的复制构造函数(如果我没记错的话，复制构造函数不是(或可能不是)基于模板的......虽然这里可能是错误的) ... 参见:Copy constructor of template class

添加以下代码:

X(const X & other) : data(other.data)
{ std::cout << "X Copy construction @ " << this << " from " << &other << " as " << typeid(X).name() << std::endl; }


template<typename TT>
X(const X<TT> & other) : data(other.data)
{ std::cout << "X construction @ " << this << " from " << &other << " as " << typeid(TT).name() << std::endl; }

给出以下输出:

X construction @ 0x7fff3496c040
X construction @ 0x7fff3496c038

X construction @ 0x7fff3496c020 from 0x7fff3496c038 as i
X destruction  @ 0x7fff3496c020

X Copy construction @ 0x7fff3496c018 from 0x7fff3496c040 as 1XIdE
X destruction  @ 0x7fff3496c018

X destruction  @ 0x7fff3496c038
X destruction  @ 0x7fff3496c040

所以有你丢失的对象。 (同时使用 clang 和 g++ 进行测试，行为相同)

关于c++ - 编译器破坏优化对象(从未创建)，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24758427/