C++에 이러한 기능이 있는지 잘 모르겠습니다. 제대로 작동하지 않는 것 같아서 물어보기로했습니다. 템플릿 템플릿이 아닌 유형 매개 변수를 사용할 수 있습니까? 이런 식으로 뭔가 :템플릿 템플릿 non-type 매개 변수
template<template<int> class A, int num>
class C
{
private:
A<num> obj;
};
내 주요 문제는 내가 템플릿 매개 변수로이 개 클래스를 받아들이는 클래스 C를 갖고 싶어한다는 것입니다. 이 두 클래스는 타입이 아닌 매개 변수 (예 : A < 5>, B < 5>)를 전문으로하며 두 클래스를 템플릿 매개 변수로 받아들이는 클래스 C에 전달하려고합니다. 그러나이 두 클래스 모두 같은 비 유형 매개 변수를 전문으로해야합니다. 예를 들어 < 3>, B < 4>는 C 클래스의 인수로 허용해서는 안됩니다.
당신은 "makeC"당신의 코드를 단순화 할 수 있습니다 :
#include <iostream>
template <template<int> class A, template<int> class B, int N>
class C {
A<N> a;
B<N> b;
};
using namespace std;
template <template<int> class A, template<int> class B, int N>
C<A,B,N> makeC(A<N> a, B<N> b) {
return C<A, B, N>{};
}
template<int N>
class AImpl {
};
template<int N>
class BImpl {
};
int main() {
auto c = makeC(AImpl<2>{}, BImpl<2>{});
//auto error = makeC(AImpl<1>{}, BImpl<2>{});
return 0;
}
AImpl이 더 많은 템플릿 인수 (예 :
SomeClass는 A와 B 사이에서 동일해야합니까? – Arkadiy
실제로는 클래스 C에서 숨길 수는 없습니다. 기본적으로 'template class A, class SomeClass, int num>'template class A_speicalized_by_first_parameter, int num>과 같은 것을 가지고 싶습니다. –
lightxbulb
내가 그것을 그럭저럭 바르게 부를 수 있었던 것을 만지작 거리고있는 약간의. 문제는 내가 유사한 접근 방식 이 같은 일을하는 것입니다 : 그렇지 않은 경우는 두 컨테이너가 같은 정수 매개 변수를 보장 할 수 있도록하고, 읽을 수있는 오류 메시지가 방출됩니다 . 편집 : 참고로, 별도의 정수 매개 변수를 사용하여 수동으로 덜 이해 "불완전한 유형을"오프 줄 것이다 불일치 템플릿 템플릿 매개 변수와 인스턴스를 만들려고 평등을 확인하지 않는 경우 에러 메시지. 실제 정의는 두 매개 변수는 같은 정수 매개 변수가 인스턴스를 잡을 수있을 것이고, 일치하지 정수 매개 변수를 어떤 용도 대신 불완전 전방 선언, 다시 떨어질 것이기 때문에 이다. 두 개의 개별 정수 매개 변수를 사용하여 수동으로 동등성 검사를 수행하면 잘못된 인스턴스화를 선언에 반환하지 않고 잡을 수 있으므로 일반 오류를 실제로 문제가 무엇인지 알려주는 무언가로 변환 할 수 있습니다.
1
C<A<5>>라고 불렀고 분명히 C<A, 5>으로 전화해야했습니다. 여기에 누군가가 이제까지 그것을 필요로하는 경우 난 그냥 경우에는 모든 일의 일을 만든 방법의 예는 다음과 같습니다template<int a, int b, int c>
class Anac
{
public:
void print()
{
std::cout << "Anac: " << a << " " << b << " " << c << "\n";
}
};
template<int a, int b, int c>
class Mamut
{
public:
void print()
{
std::cout << "Mamut: " << a << " " << b << " " << c << "\n";
}
};
template <class C>
class R
{
};
template< template<int, int, int> class A, template<int, int, int> class B, int a, int b, int c>
class gm
{
private:
A<a,b,c> p1;
B<a,b,c> p2;
public:
void print()
{
p1.print();
p2.print();
}
};
int main()
{
gm<Anac, Mamut, 3, 4, 5> game;
game.print();
std::cin.ignore();
return 0;
}
1
template<int I>
class A {};
template<int I>
class B {};
// Forward declaration.
template<typename T, typename U>
class C;
template<template<int> class TA, template<int> class TB, int I, int J>
class C<TA<I>, TB<J>> {
// J exists only to make sure integer parameters match.
static_assert((I == J), "Template parameters' integer parameters are mismatched.");
private:
TA<I> objA;
TB<I> objB;
public:
// ...
};
// ...
C<A<4>, B<4>> ca4b4; // Valid.
C<A<4>, B<16>> ca4b16; // Static assert fails.
template<template<int> class TA, template<int> class TB, int I>
class C<TA<I>, TB<I>> {
// ...
};
// ...
C<A<4>, B<16>> ca4b16; // Oops.
/* Error messages:
* GCC:
* error: aggregate 'C<A<4>, B<16> > ca4b16' has incomplete type and cannot be defined
* C<A<4>, B<16>> ca4b16;
* ^
* MSVC:
* error C2079: 'ca4b16' uses undefined class 'C<T, U>'
* with
* [
* T=A<4>,
* U=B<16>
* ]
*/
예 가능합니다. – Jarod42