Question

我正在将项目从MSVC移植到Borland C++，我遇到了template functions的困难。例如，以下

void fn(const char *buffer)
{
  vector<string> output;
  boost::split(output, string(buffer), is_any_of(","));
  // ...

导致编译器错误：

[BCC32 Error] example.cpp(208): E2285 Could not find a match for 'split<SequenceSequenceT,RangeT,PredicateT>(vector<string,allocator<string> >,string,is_any_ofF<char>)'

而修改后的例子

void fn(const char *buffer)
{
  vector<string> output;
  string sBuffer(buffer);
  boost::split(output, sBuffer, is_any_of(","));
  // ...

编译好。

如帖子标题所示，这个问题的推广是，在某些情况下BCC似乎与模板函数不匹配，如果参数作为在函数参数列表中构造的临时对象传入

在更改所有受影响的代码之前，我想了解为什么BCC认为第一个示例是错误的。这是编译器的缺陷，还是我的代码不符合C++标准？

我正在使用RAD Studio / C++ Builder XE2。

Answer 1

来自Boost手册

template<typename SequenceSequenceT, typename RangeT, typename PredicateT> 
  SequenceSequenceT & 
  split(SequenceSequenceT & Result, RangeT & Input, PredicateT Pred, 
        token_compress_mode_type eCompress = token_compress_off);

似乎该功能确实通过引用获取其参数，因此您的“解决方法”实际上是使用它的正确方法。

已知MSVC允许将非const引用绑定为“扩展”。

Answer 2

这不是因为函数是模板;这是因为出于某种原因，它将Input参数作为非const 左值引用，如文档here所述：

template<typename SequenceSequenceT, typename RangeT, typename PredicateT> 
  SequenceSequenceT & 
  split(SequenceSequenceT & Result, RangeT & Input, PredicateT Pred, 
        token_compress_mode_type eCompress = token_compress_off);

在标准C ++中，您无法将临时 rvalue （例如string(buffer)）绑定到此类引用。在微软对该语言的富有想象力的重新诠释中，你可以。

解决方案是完成你所做的：引入一个可以通过引用传递的命名非临时变量。

模板功能实例化的可移植性问题

2 个答案: