mi和隐式复制构造函数错误(是:在什么条件下模板可以是复制构造函数?)

我很确定这个问题的答案是,“从来没有,一个模板可以是复制构造函数。”

不幸的是,我只花了3个小时来弄明白为什么我会收到关于递归的警告,跟踪到复制构造函数,观察调试器发疯,不让我查看递归代码,最后跟踪到基本构造函数中缺少的“&”。

你看,我有一个复杂的基于策略的设计主机,它已经工作了一段时间了。我着手在一个中重写两个策略,并遇到了一个递归复制构造函数。把范围缩小到一个策略,该策略需要提供一个构造函数,该构造函数可以将一种类型的xxx概念作为其参数,但在本例中,我只是放弃了它。所以我写了

struct my_policy
{
  template < typename T >
  my_polity(T const) {} // missing '&'...oops
};

现在,我的策略是主机的一个基类(当然了),这个小错误导致了递归,主机的复制构造函数将自己沿着链传递给这个模板化的构造函数,而不是一个由编译器生成的隐式复制构造函数。当然,它会再次调用其复制构造函数来创建临时的。

真正令人着迷的是我不能用简化的代码重新创建它。即使有一个模拟策略主机的例子,我也不能做到。以下代码不显示问题:

#include <boost/utility/enable_if.hpp>
#include <boost/mpl/bool.hpp>

struct base
{
  template < typename T >
  base(T const) {}
};

struct another_base 
{
  int x;

  another_base(int y) : x(y) {}
};

template < typename T >
struct is_derived : boost::mpl::false_ {};

template < typename T1, typename T2 >
struct derived : T1, T2
{
  template < typename T >
  derived(T const& x, typename boost::disable_if< is_derived<T> >::type * = 0) : T1(0), T2(x) {}
};

template < typename T1, typename T2 >
struct is_derived<derived<T1,T2>> : boost::mpl::true_ {};

int main() 
{
  derived<base, another_base> d(23);
  derived<base, another_base> x = d;
}

我正在使用Boost的参数库使主机的7个左右的参数可以通过“name”访问。也许这就是问题所在,我不知道。无论如何,我想知道是否有人知道特定的条件(如果有的话)会导致编译器合法地使用“base”的模板化构造函数作为复制构造函数,或者使用“derived”的隐式复制构造函数。

编辑注释:

我在上面的代码中通过给“另一个库”一个显式的复制构造函数重新创建了这个问题:

struct another_base 
{
  int x;

  another_base(another_base const& b) : x(b.x) {}

  another_base(int y) : x(y) {}
};

开始断定这是一个编译器错误,除非有人能告诉我为什么这是合法的。

更多信息:

struct derived;

struct base
{
  base() {}

private:
  base(derived const&);
};

struct base2 
{
  base2() {}
  //base2 (base2 const&) {}
};

struct derived : base, base2 {};

int main()
{
  derived d1; derived d2(d1);
}

再看看Schaub的答案,我把上面的代码编译了一下。在取消对base2的复制构造函数声明的注释之前,它编译得很好。然后它将以我假设的原始代码的预期方式爆炸(不能访问基中的私有构造函数)。因此模板甚至不是问题的一部分;您可以在没有模板的情况下重新创建问题。看起来这是一个心肌梗死的问题,而vs在纠正问题上总是有点慢。

我改变了标签以反映这个发现。

发布到MS的Bug存储库

http://connect.microsoft.com/VisualStudio/feedback/details/587787/implicit-copy-constructor-calls-base-with-derived-type-under-specific-conditions

我在示例代码中包含了一个变通方案。