Question

我有一个调试类，我在代码中使用它来打印各种东西。在这个课程中，我重载operator()以促进输出。我有几个operator()来打印矢量。当我添加模板版本时，我遇到了编译错误。

以下是代码：

  template<class Type1>
    inline debug&
    operator()(const std::string& name,
               typename std::vector<Type1>::const_iterator begin,
               typename std::vector<Type1>::const_iterator end)
    {    
      _stream << indent(internal) << "< " << name << " : [ ";
      std::copy(begin, end, std::ostream_iterator<Type1>(_stream, " "));
      _stream << "] >" << std::endl;

      return *this;
    }

我有另一个矢量打印功能：

  inline debug&
  operator()(const std::string& name,
             typename std::vector<uint32_t>::const_iterator begin,
             typename std::vector<uint32_t>::const_iterator end)
  {
    _stream << indent(internal) << "< " << name << " : [ " << std::hex;
    std::copy(begin, end, std::ostream_iterator<uint32_t>(_stream, " "));
    _stream << "] >" << std::endl;

    return *this;
  }

indent()完全按照其说法行事。

这是编译错误：

../include/debug.hh:146:3: note: template<class Type1> relix::debug&    relix::debug::operator()(const string&, typename std::vector<_RealType>::const_iterator, typename std::vector<_RealType>::const_iterator)
../include/debug.hh:146:3: note:   template argument deduction/substitution failed:
assembler.cc:78:64: note:   couldn't deduce template parameter ‘Type1’

这是assembler.cc:78：

  log(D_C(tl._tokens), tl._tokens.begin(), tl._tokens.end());

其中D_C()是用于提取变量名称的替换预处理器宏，_tokens是std::vector token，其中token有重载operator<<() 1}}。

Answer 1

问题在于模板：

template<class Type1>
inline debug&
operator()(const std::string& name,
           typename std::vector<Type1>::const_iterator begin,
           typename std::vector<Type1>::const_iterator end)
{    
// ...

这里的问题是编译器无法推断Type1。考虑实际推断出类型需要什么：编译器必须使用所有可能类型实例化std::vector，包括std::vector的任何潜在实例化以确定参数是否为功能是匹配。

最简单的解决方法是从签名中的显式要求中删除vector并将其转换为：

template<class Iterator>
inline debug&
operator()(const std::string& name,
           Iterator begin,
           Iterator end)
{    
// ...

现在可以简单地推导出类型，无论函数的参数是什么。

打印任何矢量的内容

1 个答案: