Каким образом определить, является тип встроенным или пользовательским?
4 ответа
Положим, надо это определить для типа x_t
.
Способ любителя. Создать маленькую программку без инклюдов и вписать такой код:
x_t a;
Если скомпилируется, то тип встроенный.
Способ профессионала. Посмотреть справку.
Добавка. В коде можно использовать метафункцию boost::type_ traits::is_pod
-
. ++Способ профессионала – user3545 13 июл '12 в 13:49
-
1@mikillskegg, по-моему "Способ любителя" будет побыстрее, если компилятор открыт, конечно же =) – AseN 13 июл '12 в 13:51
-
2А как компилятор может быть открыт? Может быть открыт редактор или интегрированная среда разработки (IDE) – gecube 14 июл '12 в 10:26
Working Draft
стандарта C++11 определяет понятиеbuilt-in type
как эквивалентное понятиюfundamental type
.
В связи с этим, наиболее корректный способ - использовать соответствующую
type trait
изboost
под названиемboost::is_fundamental<T>
.
Попробовать унаследоваться.
-
1В с++11 класс может быть определен как final. Да и в С++2003 некоторые хакерские приемы позволяли достигнуть того же эффекта. – skegg 13 июл '12 в 13:35
Вопрос не полный, нужно определить является ли тип плоским (т.н. 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 код, при компиляции так же будет ошибка.
-
1- Внезапно макрос и
typeid
, хотя эта же задача решается элементарно на этапе компиляции с помощью специализации шаблонов. - Для типаmynamespace::std::Whatever
ваш код вернетtrue
. -std::type_info::name()
не стандартизирован и дляstd::vector
может вернуть вам, например,St6vectorIiSaIiEE
. – M. Williams 13 июл '12 в 15:13 -
1. А что смущает в макросах и typeid? Макросы активно используются в С++. Делать специализацию на каждый тип? 2. Согласен, тоже об этом подмал, уже после того, как код выложил. 3. Нет, вывод зависит от компилятора, а не от поданного в name() типа. Подобный вывод обычно наблюдается на gcc, мой код расчитан под студийный компилятор (о чем я забыл упомянуть), и там вывод будет "std::vector<blah blah blah..." – Kastaneda 13 июл '12 в 17:22
-
3@Kastaneda - Вызов
typeid
может занимать на порядок (например, в 100 раз) больше времени, чем даже банальный вызов виртуальной функции. Безумная пессимизация на ровном месте не может быть оправдана даже с учетом аргументов проpremature optimization
. - Некоторыеreal-world
проекты вполне себе не используютRTTI
, так что ваш код на них приведет кundefined behavior
. - За макросы вC++
, кроме случаев типаBOOST_PREPROCESSOR
бьют по пальцам. - Никому не нужен код, заточенный исключительно подcl
, когда можно простым путем сделать его кросс-платформенным. – M. Williams 14 июл '12 в 2:47 -
1@Kastaneda - И да, если, скажем, в 12 версии компилятора
cl
добавятname mangling
, то ваш код завалится из-за проблем, описанных на примереSt6vectorIiSaIiEE
, что, естественно, сложно назвать разумным поведением. – M. Williams 14 июл '12 в 2:48 -
1Кажется я понял вашу идею про шаблоны - не специализировать под каждый тип, а просто заменить макрос шаблоном. Так вы же понимаете, что в таком случае компилятор наплодит столько фукнций, сколько она будет вызвана в коде с разными типами. Код может разбухнуть до неприлично большого размера, хотя конечно это более ближе к C++ way, нежели макросы. – Kastaneda 14 июл '12 в 4:45