идиома c ++ pimpl: реализация в зависимости от параметра шаблона

Question

идиома c ++ pimpl: реализация в зависимости от параметра шаблона

0

В этот вопрос Я безуспешно спросил, как использовать различную реализацию pimpl в зависимости от аргумента шаблона.

Возможно, этот пример лучше иллюстрирует то, что я пытаюсь сделать:

#include <iostream>

template< int N, typename T >
struct B
{
    B() : c( new C< N > )
    {}

    template< int M >
    struct C;
    C< N > *c;
};

template< int N, typename T >
template< int M >
struct B< N, T >::C
{
    int a[M];
};

// version 1 that doesn't work    
    template< int N, typename T >
    template< >
    struct B< N, T >::C< 0 >
    {
        int a;
    };
// version 2 that doesn't work
    template< typename T >
    template< int M >
    struct B< 0, T >::C
    {
        int a;
    };


int main()
{
    B< 0, float >   b0;
    B< 1, int >     b1;

    std::cout << "b0 = " << sizeof(b0.c->a) << std::endl;
    std::cout << "b1 = " << sizeof(b1.c->a) << std::endl;
}

Он по-прежнему терпит неудачу, если я попытаюсь специализировать структуру C (выше не компилируется)

Итак, можно ли это сделать?

Я знаю такую работу:

template< int M >
struct D
{
  int a[M];
};
template<  >
struct D<0>
{
  int a;
};

template< int N, typename T >
template< int M >
struct B< N, T >::C
{
    D< M > helper;
};

но, если возможно, я хотел бы избежать этого

BЈовић 24 март 2011, в 21:49

Источник

0

Использует ли реальное определение B<N,T>::C<M> N и / или T вообще? Если нет, то почему он должен быть членом шаблона класса B ?
aschepler 24 март 2011, в 20:46
0

@aschepler Да, он использует, но этот пример просто упрощает проблему
BЈовић 24 март 2011, в 21:16

Теги:

c++

templates

metaprogramming

partial-specialization

pimpl-idiom

1 ответ

Ещё вопросы

Использует ли реальное определение B<N,T>::C<M> N и / или T вообще? Если нет, то почему он должен быть членом шаблона класса B ?
@aschepler Да, он использует, но этот пример просто упрощает проблему

Nathan Ernst · Accepted Answer · 2011-03-24T18-49-00.000Z

То, что вы пытаетесь сделать, не допускается языком.

В § 14.7.3.16 (FCD 2010-03-26) указано:

В явной специализации объявление для члена класса шаблон или шаблон участника, который появляется в области пространства имен, член шаблон и некоторые из его шаблоны классов могут оставаться неспециализированы, за исключением того, что декларация не должна быть явно специализировать шаблон члена класса, если его закрывающие шаблоны классов не явно специализированный. В такая явная специализация объявление, шаблон ключевого слова а затем список параметров шаблона должны быть предоставлены вместо template < > перед явным декларация специализации член. Типы шаблонные параметры в template-parameter-list должен быть так же, как указано в первичной определение шаблона.

[ Example:
template <class T1> class A {
    template<class T2> class B {
        template<class T3> void mf1(T3);
        void mf2();
    };
};
template <> template <class X>

class A<int>::B {
    template <class T> void mf1(T);
};
template <> template <> template<class T>
void A<int>::B<double>::mf1(T t) { }
template <class Y> template <>
void A<Y>::B<double>::mf2() { } // ill-formed; B<double> is specialized but
// its enclosing class template A is not
—end example ]

кстати, это § 14.7.3.18 в текущем стандарте c ++, и этот параграф отвечает на мой вопрос. Спасибо
FCD - окончательный проект комитета.