模板函数重载未按预期调用

Question

我的情况如下：

我有一个模板包装器，它可以处理值和对象可为空的情况，而无需手动处理指针甚至 new 。这基本上可以归结为：

struct null_t
{
  // just a dummy
};
static const null_t null;

template<class T> class nullable
{
public:
  nullable()
    : _t(new T())
  {}

  nullable(const nullable<T>& source)
    : _t(source == null ? 0 : new T(*source._t))
  {}

  nullable(const null_t& null)
    : _t(0)
  {}

  nullable(const T& t)
    : _t(new T(t))
  {}

  ~nullable()
  {
    delete _t;
  }

  /* comparison and assignment operators */

  const T& operator*() const
  {
    assert(_t != 0);
    return *_t;
  }

  operator T&()
  {
    assert(_t != 0);
    return *_t;
  }

  operator const T&() const
  {
    assert(_t != 0);
    return *_t;
  }
private:
  T* _t;
};

现在，使用比较运算符，我可以检查 null_t 虚拟值，以便在实际尝试检索值或将其传递给函数之前查看它是否设置为 null需要该值并会进行自动转换。

这门课在相当长的一段时间里对我很有帮助，直到我偶然发现了一个问题。我有一个包含一些结构的数据类，这些结构将全部输出到文件（在本例中为 XML）。

所以我有类似这样的函数

xml_iterator Add(xml_iterator parent, const char* name,
                 const MyDataStruct1& value);

xml_iterator Add(xml_iterator parent, const char* name,
                 const MyDataStruct2& value);

，每个函数都用正确的数据填充 XML-DOM。这也可以正常工作。

然而现在，其中一些结构是可选的，在代码中将被声明为 a

nullable<MyDataStruct3> SomeOptionalData;

为了处理这种情况，我进行了模板重载：

template<class T>
xml_iterator Add(xml_iterator parent, const char* name,
                 const nullable<T>& value)
{
  if (value != null)  return Add(parent, name, *value);
  else                return parent;
}

在我的单元测试中，编译器如预期的那样，总是首选选择此模板函数，无论何时值或结构包装在 nullable 中。

然而，如果我使用上述数据类（在其自己的 DLL 中导出），出于某种原因，第一次应该调用最后一个模板函数，而不是从 nullable 自动转换为相应的类型 T 已完成，完全绕过了处理这种情况的函数。正如我上面所说 - 所有单元测试都 100% 正常，测试和调用代码的可执行文件都是由 MSVC 2005 在调试模式下构建的 - 这个问题绝对不能归因于编译器差异。

更新：澄清一下 - 重载的 Add 函数不会导出，仅在 DLL 内部使用。换句话说，遇到此问题的外部程序甚至不包含具有模板重载函数的头。

Answer 1

编译器在找到模板化版本之前将主要选择精确匹配，但会在另一个适合的函数（例如使用您类型的基类的函数）上选择模板化的“精确匹配”。

隐式转换很危险，而且常常会咬你一口。这可能只是您包含标头或您正在使用的名称空间的方式。

我会执行以下操作：

• 使 Nullable 的构造函数全部显式。您可以使用任何只接受一个参数的构造函数来执行此操作，或者可以使用一个参数进行调用（即使还有更多具有默认值的构造函数）。

  模板类可为空
  
  {
    民众：
      可为空() 
         : _t(新T())
      {}
  
  
  显式可为空（const nullable& 源）
     : _t(源 == null ? 0 : 新 T(*source._t))
  {}
  
  显式可为空（const null_t& null）
      : _t(0)
    {}
  
    显式可为空（const T& t）
      : _t(新 T(t))
    {}
  // 休息
  };
  

• 替换运算符T&与命名函数的转换。使用 ref() 表示非常量，使用 cref() 表示常量。

我还将使用

• 赋值运算符（规则 3 所需的）
• 来完成该课程。当你传播常量时有两个重载。

如果您计划将其用于 C++0x，还可以进行右值复制和分配，这在这种情况下很有用。

顺便说一句，您确实知道您的深层复制不适用于基类，因为它们会切片。

Answer 2

好吧，由于到目前为止还没有找到真正的答案，所以我做了一个解决方法。基本上，我将上述 Add 函数放在单独的 detail 命名空间中，并添加了两个模板包装函数：

    template<class T>
    xml_iterator Add(xml_iterator parent, const char* name,
                     const T& value)
    {
      return detail::Add(parent, name, value);
    }

    template<class T>
    xml_iterator Add(xml_iterator parent, const char* name,
                     const nullable<T>& value)
    {
      return value != null ? detail::Add(parent, name, *value) : parent;
    }

我发现这始终可以正确解析为这两个函数之一，并且将在其中的单独步骤中选择实际包含类型的函数，如您所见。