c++ - 成员模板出现奇怪的 PC-Lint 错误

Question

我目前正在努力使用 PC-Lint(版本 9.00j 和 l)，它为我的一段代码提供了一些错误和警告。代码编译良好并按预期运行。这是它的简化版本:

#include <iostream>
#include <vector>

typedef unsigned char uint8_t;

class Test
{
  uint8_t          inputList[10];
  std::vector<int> resultList;

public:

  Test() : resultList()
  {
    for (uint8_t ii = 0; ii < 10; ++ii) 
      inputList[ii] = ii;
  }

  template<int list_size, typename ResultListType>
  void loadList(const uint8_t (& inputList)[list_size],
                ResultListType & resultList) const
  {
    for (uint8_t ii = 0; ii < list_size; ++ii) 
      resultList.push_back(inputList[ii]);
  }

  void run()
  {
    loadList(inputList, resultList);
  }

  void print()
  {
    std::vector<int>::iterator it;
    for (it = resultList.begin(); it != resultList.end(); ++it)
      std::cout << *it << std::endl;
  }
};

int main()
{
  Test t;
  t.run();
  t.print();
}

在 Gimpel 的在线演示中运行它时，我收到以下错误和警告:

    30      loadList(inputList, resultList);
diy.cpp  30  Error 1025:  No template matches invocation 'Test::loadList(unsigned char [10], std::vector<int>)', 1 candidates found, 1 matched the argument count
diy.cpp  30  Info 1703:  Function 'Test::loadList(const unsigned char (&)[V], <2>&) const' arbitrarily selected. Refer to Error 1025
diy.cpp  30  Error 1032:  Member 'loadList' cannot be called without object
diy.cpp  30  Error 1058:  While calling 'Test::loadList(const unsigned char (&)[V], <2>&) const': Initializing a non-const reference '<2>&' with a non-lvalue (a temporary object of type 'std::vector<int>')
diy.cpp  30  Warning 1514:  Creating temporary to copy 'std::vector<int>' to '<2>&' (context: arg. no. 2)

所以基本上，PC-Lint 试图告诉我它会偶然找到正确的模板参数，并且只会填充 vector 的临时拷贝。但是代码运行良好，结果列表包含数据!

谁能告诉我这是怎么回事？ PC-Lint 是正确的还是出问题了，或者这只是一个 PC-Lint 错误？

Answer 1

问题是 loadList 被标记为 const，然而你传递了一个非常量引用给成员变量 resultList你修改。

的确，loadList 函数不会直接修改this 实例，但由于您仍然修改成员变量，因此该函数不能保持不变。

要么创建一个传递给函数的临时 vector ，要么使函数不是const。