メンバーテンプレートによる奇妙な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はということを教えしようとしているが、それ偶然に正しいテンプレートパラメータを見つけるだけで、ベクトルの一時的なコピーだけが埋められます。しかし、コードは正常に実行され、resultListにはデータが含まれています。

ここで何が起こっているのか誰にでも教えてください。 PC-Lintは正しいのでしょうか？何かが間違っているのですか？これは単なるPC-Lintのバグですか？

Answer 1

問題がloadListがconstようにマークされているということで、まだあなたがを変更メンバ変数​​に非定数の参照を渡します。

それはloadList機能がthisインスタンス直接は変更されませんが、あなたはまだメンバ変数を変更するので、関数が一定であることができないというのは本当です。

関数に渡す一時的なベクトルを作成するか、関数をconstにしないでください。