Передача в шаблонный класс строго заданных параметров

@[progeR] · Регистрация: 20.08.2011

Студворк — интернет-сервис помощи студентам

Добрый день.
Сделал минимальный тестовый класс:

Заголовочный файл.

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
#ifndef FCB_FLASH_TEST_H
#define FCB_FLASH_TEST_H
 
template <typename T, typename T::One one, typename T::Two two>
class Test
{
public:
    Test() {}
 
    struct SubStruct1
    {
        enum One
        {
            First,
            Second
        };
        enum Two
        {
            A1,
            B2
        };
        static const int VALUE = 123;
    };
 
    struct SubStruct2
    {
        enum One
        {
            Third,
            Fourth
        };
        enum Two
        {
            QQQQQ,
            WWWWW
        };
        static const int VALUE = 12364;
    };
};
 
#endif //FCB_FLASH_TEST_H

main.cpp

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
#include "Test.h"
 
int main()
{
    Test<Test::SubStruct1, Test::SubStruct1::First, Test::SubStruct1::A1> test();
    return 0;
}

Оно не работает, сделано для наглядности.

В этом классе объявлены две структуры, а в них константа и перечисления. Задача в том, чтобы создавая объект моего Test класса, в качестве параметров шаблона можно было передавать именованные константы ТОЛЬКО этих структур, т.к. они определены в этом классе. При этом именованные константы должны принадлежать только одной структуре. Т.е. такое работать не должно:

C++
1
Test<Test::SubStruct1, Test::SubStruct2::Third, Test::SubStruct1::A1> test();

И второе: а можно сделать так, чтобы создание объекта было таким:

C++
1
Test<Test::SubStruct1::One, Test::SubStruct1::A1> test();

т.е. без использования первого параметра Test::SubStruct1? Ведь согласно виду этого составного типа первый параметр шаблона должен определяться автоматически.

Спасибо.

notAll · 11.08.2016, 17:08

Так что ли?

C++
1
2
3
4
5
template <typename T,
          int OneV = T::One::First,
          int TwoV = T::Two::A1>
class Test
{

C++
1
2
3
4
5
6
7
8
9
10
#include "test.h"
 
int main()
{
    using TestT = Test<void, 0, 0>;
 
    Test<TestT::SubStruct1,
         TestT::SubStruct1::One::First,
         TestT::SubStruct1::Two::A1> test;
}

@rikimaru2013 · 11.08.2016, 17:16

[progeR], а можете мне чисто из любопытства сказать, что вы пишите - что вам нужно решить именно в такой способ?

@DrOffset · 11.08.2016, 18:23

[progeR], сейчас надо оглянуться на свой код и посмотреть критически: видишь ли ты в нем циклическую зависимость? А логическое противоречие?
Я - вижу. У тебя тут классическая проблема курицы и яйца.
Чтобы ее разрешить - нужно определить какую задачу мы решаем.
А пока что предложу такое - на "подумать":

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
class TestBase
{
public:
    struct SubStruct1
    {
        enum One
        {
            First,
            Second
        };
        enum Two
        {
            A1,
            B2
        };
        static const int VALUE = 123;
    };
 
    struct SubStruct2
    {
        enum One
        {
            Third,
            Fourth
        };
        enum Two
        {
            QQQQQ,
            WWWWW
        };
        static const int VALUE = 12364;
    };
};
 
template <typename T, typename T::One one, typename T::Two two>
class Test
    : public TestBase
{
public:
    Test() {}
};
 
int main()
{
    Test<TestBase::SubStruct1, TestBase::SubStruct1::First, TestBase::SubStruct1::A1> test;
    return 0;
}

@[progeR] · 11.08.2016, 23:11 **[ТС]**

Тогда уж мои структуры вынести из класса наружу, преобразовать их в классы и унаследовать от базового.

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	11.08.2016, 17:16
	[progeR], а можете мне чисто из любопытства сказать, что вы пишите - что вам нужно решить именно в такой способ? 0

@[progeR] 30 / 8 / 2 Регистрация: 20.08.2011 Сообщений: 615
	11.08.2016, 23:11 [ТС]
	Тогда уж мои структуры вынести из класса наружу, преобразовать их в классы и унаследовать от базового. 0