Ошибка компиляции как положительный результат

@volovzi · Регистрация: 14.03.2010

Товарищи, подскажите, пожалуйста, есть ли возможность средствами плюсов следить за ошибками компиляции?

Необходимо в процессе компиляции встретить некоторое выражение, удостовериться, что на нём произошла ошибка компиляции, и продолжить компиляцию дальше. При этом в итоге компиляция должна пройти успешно, то есть эта ожидаемая ошибка должна быть подавлена. Получается нечто вроде исключений, но для компиляции.

Если средствами плюсов такое сделать не получится (что вероятнее всего), то как можно попроще это реализовать внешними инструментами?

@Виктор_Сен · 21.03.2015, 12:59

Автору вопроса это скорее всего уже не актуально. Но может кому-нибудь пригодится. Не могу утверждать, что достаточно хорошо разбираюсь в метафункциях, и что это решает вопрос, но мне интересно узнать мнение экспертов. Недавно столкнулся с такой проблемой. Нужно определить, существует ли шаблон с определёнными параметрами. То есть если записать шаблон с определёнными параметрами, корректна ли эта запись с точки зрения компилятора. И мне после долгих мучений удалось разрешить эту задачу. Я использовал следующие статьи с хабра:http://habrahabr.ru/post/205772/ http://habrahabr.ru/post/54762/ http://habrahabr.ru/post/206458/. Проверял в VS 2012, кстати, он не поддерживает "constexpr", но у меня всё нормально работало со "static const". Минимально возможный код по объёму для метафункции проверки корректности шаблона, который мне удалось получить:

C++
1
2
3
4
5
6
7
8
9
        template<typename T> struct _type_is_correct
        {
        private:
            static bool test_func(T t);
            static void test_func(...);
        public:
            static const bool value=
                std::is_same<bool,decltype(test_func(std::declval<T>()))>::value;
        };

Далее, это можно использовать как-то так:

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
template<typename T, typename E=void> class SomeClass;
template<typename T> class SomeClass<T,typename std::enable_if<std::is_integral<T>::value>::type>
{
 
};
 
int main()
{
    if (_type_is_correct<SomeClass<int>>::value)
    {
        std::cout<<"SomeClass<int> is correct"<<std::endl;
    } 
    else
    {
        std::cout<<"SomeClass<int> is not correct"<<std::endl;
    }
 
    if (_type_is_correct<SomeClass<float>>::value)
    {
        std::cout<<"SomeClass<float> is correct"<<std::endl;
    } 
    else
    {
        std::cout<<"SomeClass<float> is not correct"<<std::endl;
    }
 
    system("pause");
    return 0;
}

Новые блоги и статьи Все статьи Все блоги /
[golang] Insert Delete GetRandom O(1) (Leetcode: 380) alhaos 16.06.2026 Insert Delete GetRandom O(1) Сложность: Medium Источник: LeetCode 380 Задача Реализовать структуру данных RandomizedSet, которая поддерживает следующие операции за O(1) в среднем:	Свет в конце тоннеля kumehtar 16.06.2026 Поймал себя на одной мысли. Раньше мне всегда казалось неправильным жить без чёткого понимания, куда всё идёт. Будто я иду по дороге судьбы, но не знаю, куда она ведёт. А раз не знаю — значит,. . .	[golang] Реализация стека с поддержкой получения минимального элемента за O(1) alhaos 16.06.2026 Min Stack Сложность: Medium Источник: LeetCode 155 Задача: Реализовать стек который поддерживает push, pop, top и получение минимального элемента за O(1). Методы:	[golang] Конкурентный fetcher с ограничением максимального количества одновременных HTTP запросов. alhaos 10.06.2026 Задача Реализовать конкурентный fetcher с ограничением максимального количества одновременных HTTP запросов. Сигнатура func Fetch(urls string, maxConcurrent int) Result Пример urls :=. . .
[golang] Состояние гонки (race condition) alhaos 10.06.2026 Состояние гонки (race condition) Состояние гонки (Race Condition) — это ошибка, возникающая при одновременном доступе нескольких горутин к одним и тем же данным без должной синхронизации. При этом. . .	Взрослые отношения, и почему они не получаются kumehtar 09.06.2026 Когда в детстве ребёнок не получает от родителей чего-то важного, он лишается не просто приятных переживаний, а основы для формирования определённых внутренних качеств и навыков. Если ребёнок не. . .	[golang] Worker Pool alhaos 09.06.2026 Worker Pool Worker Pool — паттерн конкурентной обработки задач в Go. Суть: фиксированное количество горутин-воркеров читают задачи из общего канала и пишут результаты в общий канал результатов. . . .	[golang] Pipeline alhaos 08.06.2026 Pipeline Pipeline — паттерн конкурентной обработки данных в Go. Суть: данные проходят через цепочку независимых стадий, каждая из которых работает в своей горутине и общается с соседями через. . .

@volovzi 274 / 175 / 12 Регистрация: 14.03.2010 Сообщений: 501

	Ошибка компиляции как положительный результат 09.08.2012, 19:45. Показов 3785. Ответов 20 Метки c++, компиляция (Все метки) Товарищи, подскажите, пожалуйста, есть ли возможность средствами плюсов следить за ошибками компиляции? Необходимо в процессе компиляции встретить некоторое выражение, удостовериться, что на нём произошла ошибка компиляции, и продолжить компиляцию дальше. При этом в итоге компиляция должна пройти успешно, то есть эта ожидаемая ошибка должна быть подавлена. Получается нечто вроде исключений, но для компиляции. Если средствами плюсов такое сделать не получится (что вероятнее всего), то как можно попроще это реализовать внешними инструментами? 0