Во время компиляции определить, является ли тип полным - C++ - Ответ 7265753

@hoggy · 24.02.2015, 15:38 **[ТС]**

Сообщение от schdub

Копилировал под GCC 4.8. Если закомментировать строки ниже 73,

Вероятно вы не заметили эти надписи:

Сообщение от hoggy

Требуется кросс-платформа: сl/mingw/gcc/clang

Сообщение от hoggy

// такое странное поведение наблюдается
* * // только на компиляторах вижал студии

Очевидно, что я собирал код на множестве компиляторов.
И очевидно, что проблема именно с компиляторами вижал студии.
О gcc сейчас речь вообще не идет.

Сообщение от schdub

Решить эту проблему можно специализировав шаблонный класс IsCompete для std :: pair<T1, T2> и проверив полные ли типы T1 и T2:

Это - не есть решение проблемы.

Во-первых, делать специализации под все возможное и невозможное множество возможных типов - контрпродуктивно, и контрэффективно.

А во-вторых:

Мета-функция должна уметь работать с любыми типами.
И с обычными, и с продуктами шаблона.

Но тот факт, что в параметрах шаблона фигурируют не полные типы ещё не означает,
что сам агрегат - так же не полный.

пример:

C++

template<class T1, class T2> 
struct Pair{};
 
...
 
struct nocomplete;
 
typedef Pair<int, nocomplete>
    pair_complete;   //<---- будет полным типом независимо от параметров шаблона

Таким образом, даже если я и проверю типы которым был инстанцирован шаблон,
эта информация не поможет мне 100% установить истину.

Выше я писал:

Сообщение от hoggy

Моя последняя самая успешная модель не проходит всех тестов.
Она не в состоянии однозначно определить полный ли тип, или не полный,
и имеет на выходе 3 ответа: да, нет, не знаю.

Теперь вы наверное понимаете принцип её действия,
и что означает её странный ответ "я не знаю".

1. если тип - не продукт шаблона, и он полный, ответ: да.
2. если тип - не продукт шаблона, и он не полный, ответ: нет.
3. если тип - продукт шаблона, но всего его параметры полные, ответ - да.
4. если тип - продукт шаблона, но хотя бы один из его параметров не полный, ответ - не знаю.

Пока что мне не удалось найти способ, как однозначно определить:
так полный тип, или не полный?

И ни одна из виденных мною моделей не проходит 4й тест.

Вернуться к обсуждению:
Во время компиляции определить, является ли тип полным C++

Следующий ответ

Другие темы раздела
C++ Автоматическое формирование html – страниц, c++ Добрый день!!! Передо мной стоит следующая задача - создать программу, которая автоматически закачивает указанную пользователем страницу из интернета, модифицирует её и, затем, открывает в браузере. В качестве модификации можно выбрать любое небольшое предложение (например, "Добрый день!"). Данная программа должна быть реализована в пакете VS 2010 express. Заранее всем спасибо! https://www.cyberforum.ru/ cpp/ thread1380386.html	C++ Cast from const_iterator to iterator Доброго времени суток. Существует ли способ просто и быстро вытащить итератор из константного итератора? Вариант с distance не предлагать. Нужен быстрый способ. Пробовал так:
C++ Adobe Flash Player (src) https://www.cyberforum.ru/ cpp/ thread1379953.html Форумчане, кто-нибудь из вас натыкался на исходники флеш плеера? Если да, то можете их скинуть? Просто адобе свой 11 флеш выкладывали в опен сорс когда-то, а я проворонил этот момент)	C++ [trigraph] Как отключить? Как устранить триграф из литерной константы? Доброго времени суток. Сборка Debug при помощи mingw482_32. Возникла проблема с триграфами. Вообще то, я всегда думал, что триграфы по дефолту отключены. Но у меня они почему то оказались включенными. В связи с этим два вопроса: 1. Каким волшебным ключиком компилятора деактивировать? https://www.cyberforum.ru/ cpp/ thread1379866.html
C++ Построение libjpeg-turbo проблемы с построением libjpeg-turbo http://sourceforge.net/projects/libjpeg-turbo/ скачал сорцы, выполнил cd {build_directory} cmake -G "Visual Studio 10" {source_directory} создались файлы проекта. но при сборке пишет что не может открыть simd\MinSizeRel\jsimdcpu.obj	C++ Неразрешенный внешний символ "__imp__closesocket@4 https://www.cyberforum.ru/ cpp/ thread1379285.html Пишу вот такой код: #include <Winsock2.h> #include <errno.h> #include <string> enum CONNECTION_STATUS { CONNECTION_STATUS_OK,
C++ Программа для смешивания букв в словах, которая берет их из вордовского документа Есть ли у кого-нибудь код программы для перемешивания букв во всех словах word документа https://www.cyberforum.ru/ cpp/ thread1378750.html	C++ Тексты, изображения, как их видит машина? Привет всем.Не давно начал работать над темой алгоритмы сжатия. Все мы знаем,что байт это 8 бит.А те люди которые изучали (хотя бы поверхностно) комбинаторику,те знают что всего комбинаций из восьми бит может быть 2222222*2=256.Получается 256 комбинаций из 8 бит. В текстах это нас устраивает.Но например в изображениях может быть больше 256 оттенков цветов. Тогда возникает вопрос:а как...
C++ Научно-исследовательские разработки Напишите мне программу пожалуйста мои дорогие :flirt: Научно-исследовательские разработки (Наименование, дата начала, дата завершения, срок работы - функция Run (), область исследования, количество сотрудников, ФИО сотрудников) https://www.cyberforum.ru/ cpp/ thread1375714.html	C++ Написать программу вычисления нормы массивов типа int,float и complex. Функции, вычисляющие нормы массивов Написать программу вычисления нормы массивов типа int,float и complex. Функции, вычисляющие нормы массивов имеют одно и тоже имя. https://www.cyberforum.ru/ cpp/ thread1375426.html
Изменение формы загруженной картинки, OpenGL C++ Здравствуйте. Я давно на этом форуме и почти все ответы по программированию нашел здесь(исключая конечно основы). Но я столкнулся с одной проблемой. Я использую OpenGl для рисовании графики. Мне требуется загрузить картинку и обрезать ее по окружности. То есть сделать так чтобы она была круглая. Я так понимаю надо создать маску по которой будут рисоваться пиксели, но я не знаю как. Подскажите...	C++ Определить цвет пикселя в окне, которое закрыто другим Ситуация такая, есть окно я в нем делаю проверку на определенных координатах цвет пикселя. Но когда окно закрыть поверх другим окном то соответственно он уже не определяет. Как сделать что бы прога игнорила все окна которые мешают определению цвета пикселя? https://www.cyberforum.ru/ cpp/ thread1373976.html

	24.02.2015, 15:38