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

how to create a policy template that defines a fixed value type

本文关键字:类型 策略 何创建 创建 定义      更新时间:2023-10-16

我有一个Visual Studio 2008 C++03应用程序,我在其中向类Foo提供策略FooTraits

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

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

FooTraits::FooVal不是一种类型。这是枚举的一个可能值。你不能对不是类型的东西进行 typedef。您需要decltype(FooTraits::FooVal),或者为枚举命名。

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;
}

你不能 typedef traits::FooVal因为它不是类型。

使用以下语法:

static const int foo_val = traits::FooVal;