Question

我有一个Visual Studio 2008 C ++ 03应用程序，我向类FooTraits提供了一个策略Foo。

struct FooTraits
{
    enum { FooVal = 1 };
};

template< typename traits >
class Foo
{
public:
    typedef typename traits::FooVal foo_val; // errors on this line

    void FooDo( UINT matrix[ foo_val ] ) { /*...*/ };
};

typedef Foo< FooTraits > Foot;

int main( int argc, char* argv[] )
{
    Foot f;
    UINT matrix[ Foot::foo_val ] = { /*...*/ };
    f.FooDo( matrix );
    return 0;
}

但是，我在typedef：

上得到了一系列编译器错误

error C2146: syntax error : missing ';' before identifier 'foo_val'
error C2838: 'FooVal' : illegal qualified name in member declaration
error C4430: missing type specifier - int assumed. Note: C++ does not support default-int

创建定义固定值的策略的正确方法是什么？

Answer 1

FooTraits::FooVal不是一种类型。这是枚举的一个可能值。你不能输入非某种类型的东西。您需要decltype(FooTraits::FooVal)，或者为枚举命名。

Answer 2

enum引入的枚举值本身并不是类型。但是enum本身就是。因此，在：

enum Dummy { FooVal = 1 };

Dummy是类型，而不是FooVal。您可以typedef Dummy：

struct FooTraits
{
    enum Dummy { FooVal = 1 };
};

/* ... */

template< typename traits >
class Foo
{
public:
    typedef typename traits::Dummy dummy;
  };

但你不能typedef FooVal，因为它不是一种类型。尝试typedef FooVal就像尝试这样做：

int foo = 42;
typedef FooBar foo;

......这当然没有意义。

这是您的代码，已修复：

struct FooTraits
{
    enum { FooVal = 1 };
};

template< typename traits >
class Foo
{
public:
    void FooDo( unsigned matrix[ traits::FooVal] ) { matrix;/*...*/ };
};

typedef Foo< FooTraits > Foot;

int main(  )
{
    Foot f;
    unsigned matrix[ FooTraits::FooVal ] = { /*...*/ };
    f.FooDo( matrix );
    return 0;
}

Answer 3

您无法输入traits::FooVal，因为它不是类型。

使用以下语法：

static const int foo_val = traits::FooVal;

如何创建定义固定值类型的策略模板

3 个答案: