2

Каким образом определить, является тип встроенным или пользовательским?

4 ответа 4

11
  • Working Draft стандарта C++11 определяет понятие built-in type как эквивалентное понятию fundamental type.

В связи с этим, наиболее корректный способ - использовать соответствующую type trait из boost под названием boost::is_fundamental<T>.

10

Положим, надо это определить для типа x_t.

Способ любителя. Создать маленькую программку без инклюдов и вписать такой код:

x_t a;

Если скомпилируется, то тип встроенный.

Способ профессионала. Посмотреть справку.

Добавка. В коде можно использовать метафункцию boost::type_ traits::is_pod

3
  • . ++Способ профессионала
    – user3545
    13 июл 2012 в 13:49
  • 1
    @mikillskegg, по-моему "Способ любителя" будет побыстрее, если компилятор открыт, конечно же =)
    – AseN
    13 июл 2012 в 13:51
  • 2
    А как компилятор может быть открыт? Может быть открыт редактор или интегрированная среда разработки (IDE)
    – gecube
    14 июл 2012 в 10:26
0

Попробовать унаследоваться.

1
  • 1
    В с++11 класс может быть определен как final. Да и в С++2003 некоторые хакерские приемы позволяли достигнуть того же эффекта.
    – skegg
    13 июл 2012 в 13:35
0

Вопрос не полный, нужно определить является ли тип плоским (т.н. POD) типом или является ли тип частью языка С++ (например std::string) ?

можно через RTTI

#include <typeinfo>

#define IS_BUILTIN(x) (((std::string(typeid(x).name()).find(" ") != std::string::npos && \
                   std::string(typeid(x).name()).find("std::") != std::string::npos) || \
                   std::string(typeid(x).name()).find(" ") == std::string::npos) ? "true" : "false")

//дабы не загромождать, удалил main()

Хорошо, с тем, что код выше неудачный, я согласен. По скольку первый ответ отмечен как правильный, значит речь идет все таки о POD типах. Вот через шаблоны, определяет является ли тип POD в compile-time

template <typename T>
void isNotPOD(T _n)
{
    int n = static_cast<int>(_n);
}

template <typename T>
void isPOD(T n)
{
    isNotPOD(n);
}

все по Александреску :) В чем плюс такого подхода? В том, что при вызове isPOD(bar) на этапе компиляции можно получить вменяемое сообщение, типа:

error: "void isNotPOD<T>(T)" with [ T=Bar ]

Почему нельзя просто привести к int? Потому что пользовательский тип может иметь метод operator int(){}, но т.к. это run-time код, при компиляции так же будет ошибка.

7
  • 1
    - Внезапно макрос и typeid, хотя эта же задача решается элементарно на этапе компиляции с помощью специализации шаблонов. - Для типа mynamespace::std::Whatever ваш код вернет true. - std::type_info::name() не стандартизирован и для std::vector может вернуть вам, например, St6vectorIiSaIiEE. 13 июл 2012 в 15:13
  • 1. А что смущает в макросах и typeid? Макросы активно используются в С++. Делать специализацию на каждый тип? 2. Согласен, тоже об этом подмал, уже после того, как код выложил. 3. Нет, вывод зависит от компилятора, а не от поданного в name() типа. Подобный вывод обычно наблюдается на gcc, мой код расчитан под студийный компилятор (о чем я забыл упомянуть), и там вывод будет "std::vector<blah blah blah..."
    – Kastaneda
    13 июл 2012 в 17:22
  • 3
    @Kastaneda - Вызов typeid может занимать на порядок (например, в 100 раз) больше времени, чем даже банальный вызов виртуальной функции. Безумная пессимизация на ровном месте не может быть оправдана даже с учетом аргументов про premature optimization. - Некоторые real-world проекты вполне себе не используют RTTI, так что ваш код на них приведет к undefined behavior. - За макросы в C++, кроме случаев типа BOOST_PREPROCESSOR бьют по пальцам. - Никому не нужен код, заточенный исключительно под cl, когда можно простым путем сделать его кросс-платформенным. 14 июл 2012 в 2:47
  • 1
    @Kastaneda - И да, если, скажем, в 12 версии компилятора cl добавят name mangling, то ваш код завалится из-за проблем, описанных на примере St6vectorIiSaIiEE, что, естественно, сложно назвать разумным поведением. 14 июл 2012 в 2:48
  • 1
    Кажется я понял вашу идею про шаблоны - не специализировать под каждый тип, а просто заменить макрос шаблоном. Так вы же понимаете, что в таком случае компилятор наплодит столько фукнций, сколько она будет вызвана в коде с разными типами. Код может разбухнуть до неприлично большого размера, хотя конечно это более ближе к C++ way, нежели макросы.
    – Kastaneda
    14 июл 2012 в 4:45

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.