Question

我在c ++中有一个模板化的typedef（因为我知道这是不合法的）。

基本上，这样的typedef是为了避免在我的代码长类型名称上写一遍（我希望能够写typeA someVariable;代替typename Foo<T,N,P>:: typeA someVariable;）。

请在下面找到我想要实现的代码。

#ifndef FOO
#define FOO


template <class T, class N, class P>
class Foo
{
 public:
        typedef T typeA;

        Foo();
};

template <class T, class N, class P>
Foo<T, N, P>::Foo(){}


#endif


#ifndef FOOUSER
#define FOOUSER

#include "Foo.h"

template <class T, class N, class P>
typedef typename Foo<T,N,P>::typeA typeA;

template <class T, class N, class P>    
typeA fooUser(Foo<T,N,P> foo)
{

     typeA typeAInstance;


     // some code;


     return typeAInstance;
}


#endif



#include <cstdlib>
#include <iostream>


#include "FooUser.h"
using namespace std;


typedef int dummyT1;
typedef int dummyT2;
typedef int dummyT3;

int main(int argc, char *argv[])
{



    typeA typeAObject;
    Foo<dummyT1, dummyT2, dummyT3> foo=Foo<dummyT1, dummyT2, dummyT3>();


    //somecode here

    typeAObject=fooUser(foo);



    system("PAUSE");
    return EXIT_SUCCESS;
}

所以我在文件fooUser.h中声明了类型，在顶部，在函数someFunction之外，以使它们可以普遍访问。但是，模板化在c ++中是不合法的。我正在使用C ++ 98。

因此参数化类型别名（引入C ++ 11），例如

template <typename T>
using typeA = typename Foo<T>::TypeA;

不是一种选择。

知道我的语法不合法，我正在寻找替代解决方案。

Answer 1

您可以创建模板容器以减轻负担。

template <class A, class B, class C>
struct TemplateContainer {
    typedef A A_t;
    typedef B B_t;
    typedef C C_t;
};

template <class TC>
class User {
public:
    typedef typename TC::A_t A_t;
    typedef typename TC::B_t B_t;
    typedef typename TC::C_t C_t;
private:
    A_t _a;
    B_t _b;
    C_t _c;
public:
    User(A_t a, B_t b, C_t c) :
        _a(a), _b(b), _c(c)
    {}
};


template <class TC>
User<TC> Usage() {
    typename User<TC>::A_t a;
    typename User<TC>::B_t b;
    typename User<TC>::C_t c;

    User<TC> user(a,b,c);

    // ...
    return user;
}

int main() {
    typedef TemplateContainer<int,double,char> TC;

    User<TC> user=Usage<TC>();
}

Answer 2

不，模板参数不会从参数中隐式传播。

C ++ - 使包含文件的模板化typedef public和accessibe

2 个答案: