c++ - 不知道为什么我会收到关于 std::size_t 不包含参数包的编译错误

Question

我这里有这个类:

template<typename ClassType, std::size_t... Dims>
class MatrixCell {
private:
    std::vector<std::size_t> coordinateIndices_;
    ClassType data_;

public:
    MatrixCell() : coordinateIndices_{Dims...} {}

    //template<typename ClassType, std::size_t... Dims>
    void addItem( ClassType item, std::size_t... Dims) {
        if ( !checkIndex( Dims... ) ) {
            std::ostringstream strStream;
            strStream << __FUNCTION__ << " current index doesn't exist.";
            Logger::log( strStream, Logger::TYPE_ERROR );
            throw ExceptionHandler( strStream );
        } else {
            data_ = item;
        }
    }

private:
    //template<typename ClassType, std::size_t... Dims>
    bool checkIndex( std::size_t... Dims ) {
        return true;
    }
};

我遇到了这个编译器错误:

1>------ Build started: Project: FileTester, Configuration: Debug Win32 ------
1>  Matrix.cpp
1>c:\users\skilz80\documents\visual studio 2015\projects\filetester\filetester\matrix.h(155): error C3543: 'std::size_t': does not contain a parameter pack
1>  c:\users\skilz80\documents\visual studio 2015\projects\filetester\filetester\matrix.h(171): note: see reference to class template instantiation 'MatrixCell<ClassType,Dims...>' being compiled
1>c:\users\skilz80\documents\visual studio 2015\projects\filetester\filetester\matrix.h(168): error C3543: 'std::size_t': does not contain a parameter pack
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========
};

我对错误代码的理解没有问题；我无法理解到底是什么导致了错误，并且不确定在我尝试过很多事情的地方正确的语法是什么。

我有一个类似的类，编译得很好，如下所示:

// DimensionPack & Helper Struct
struct MatrixDimensionOddOrEven {
    const unsigned int even_or_odd; 
    explicit MatrixDimensionOddOrEven( unsigned int odd_or_even ) : even_or_odd( test( odd_or_even ) ) {}

private:
    const unsigned int test( unsigned int value ) const {
        if ( value == 0 ) {
            std::ostringstream strStream;
            strStream << __FUNCTION__ << "invalid number: " << value << " must be >= 1.";
            Logger::log( strStream, Logger::TYPE_ERROR );
            throw ExceptionHandler( strStream );
        }
        return ( ((value % 2) == 0) ? EVEN : ODD );
    }
}; typedef MatrixDimensionOddOrEven MatDimOddEven;

template <std::size_t... Dims>
class DimensionPack {
public:
    std::vector<std::size_t> dimensions;
    std::vector<unsigned int> even_or_odd;
    const std::size_t total_dimensions = sizeof...(Dims);
    const std::size_t total_elements = countElements();

public:
    DimensionPack() : dimensions{Dims...},
        even_or_odd{ MatrixDimensionOddOrEven{Dims}.even_or_odd...} {
    }

private:
    std::size_t countElements() {
        std::size_t val = 1; // Don't Init to 0 otherwise multiplication won't work here!
        for ( std::size_t n = 0; n < dimensions.size(); n++ ) {
            val *= dimensions.at( n );
        }
        return val;
    }
}; // DimensionPack

因此，指向正确方向的指针将非常有用，我们将不胜感激。

Answer 1

你可能想要这个:

void addItem( ClassType item, decltype(Dims)... dims ) {
    if ( !checkIndex( dims... ) ) {

和

bool checkIndex( decltype(Dims)... dims ) {

不幸的是，VC++ 无法编译它。这可能是一个编译器缺陷(不太确定，因为我没有尝试根据标准验证这一点，但 g++ 和 clang 都编译它)。幸运的是我们可以解决它。我们并不真的需要 decltype，我们需要一些接受 std::size_t 常量表达式的东西，忽略它并返回 std::size_t。类似于常量类型级函数。例如:

template <std::size_t>
struct const_size_t
{
    using type = std::size_t;
};

并像这样使用它:

void addItem( ClassType item, typename const_size_t<Dims>::type... dims) 

Live demo