форум программистов
https://www.developing.ru/
Это ты получаешь... Возьми уже, и прочти, как работают шаблоны в С++. Почему ты всё время пытаешь во всём разбираться наскоком, идя по граблям и падая в ямы, вместо того, чтобы просто прочесть для начала теорию?Сионист писал(а):Тот самый случай. Только не из библиотеки. И получаем мультипальную дефиницию. Спасибо.
Это мудизм. Правильность типа надо проверять примерно так:только для данного списка типов.
Тот самый случай.
Код: Выделить всё
template<typename Q> struct AbilityToStoreTest {
enum {
value =
std::is_same<Q, MXUOcta>::value
| std::is_same<Q, MXUTetra>::value
| std::is_same<Q, MXUWyde>::value
| std::is_same<Q, MXUByte>::value
| std::is_same<Q, MXSOcta>::value
| std::is_same<Q, MXSTetra>::value
| std::is_same<Q, MXSWyde>::value
| std::is_same<Q, MXSByte>::value
| std::is_same<Q, MXFp>::value
| std::is_same<Q, MXFps>::value
};
};
/* ..... */
template<typename R> void storeMem(MXUOcta base, MXUOcta offset, R val)
{
static_assert(ExecutionContextPrivate::AbilityToStoreTest<R>::value, "Illegal type for storeMem");
*mapAddress<R>(base, offset) = val;
}
Да, для данного случая такой проверки вполне достаточно, так как здесь всё расположено внутри одного проекта. Более того, ограничение на список типов и не нужно, просто Сионист намудрил.Absurd писал(а):Правильность типа надо проверять примерно так
Не совсем так. Механизм явного инстанцирования нужен на стыке библиотек. Если мы выставим наружу из нашей библиотеки хедер вместе с телом, то тем самым откроем третье стороне внутреннее представление нашей функции/класса. Более того, это внутреннее представление скорее всего потянет за собой зависимости, которые третьей стороне совсем не нужны. Если же мы спрячем тело внутрь cpp (который третье стороне поставлен не будет), то увеличим модульную инкапсуляцию кода, уменьшим связность, а так же легко избежим вот таких хитрых проверок типов просто за счёт того, что сгенерируем разрешённые экземпляры с помощью явного инстанцирования внутри cpp файла, для прочих же типов запрет будет работать очень просто, ведь код просто не слинкуется. Именно для такого случая в 11 стандарте был введён синтаксис явного инстанцирования и синтаксис указания внешней линковки шаблонных функций/классов.Absurd писал(а):Это мудизм.
Фигасе самомнение какое. Это мой код. Я им решаю свою проблему, связанную с тем что шаблон mapAddress<> весьма нетривиален, и если там указать рандомный тип он развернется в непонятную хренотень. Поэтому я отсекаю все возможности которые я не предусмотрел. И да, у меня все типы хранятся в одной памяти, там union{ }.Не правильно, ты хотел сказать.
Код: Выделить всё
class ExecutionContext {
/* ... */
template <typename R> struct TypeSwitch {
static R* locCache(ExecutionContext&);
};
template <typename R> friend struct TypeSwitch;
/* ... */
};
/* ... */
template<typename R> inline void ExecutionContext::storeReg(MXUByte reg, R val)
{
static_assert(ExecutionContextPrivate::AbilityToStoreRegTest<R>::value, "Invalid type for storeReg");
ExecutionContext::TypeSwitch<R>::locCache(*this)[reg] = val;
}
Код: Выделить всё
template<> inline MXUOcta* ExecutionContext::TypeSwitch<MXUOcta>::locCache(ExecutionContext& ctx)
{
return ctx.rcache_.uReg_;
}
template<> inline MXSOcta* ExecutionContext::TypeSwitch<MXSOcta>::locCache(ExecutionContext& ctx)
{
return ctx.rcache_.sReg_;
}
template<> inline MXFp* ExecutionContext::TypeSwitch<MXFp>::locCache(ExecutionContext& ctx)
{
return ctx.rcache_.fpReg_;
}
Там где-то в настройках проекта есть опция - трактовать wchar_t как независимый тип либо же как typedef для short.Кроме того, wcharf_t тоже двухбайтный, и будет смешан с short int
Я вообще противник того чтобы темплейты гонять через библиотеки. Если лениво создавать extern "C" интерфейс лучше не заморачиваться и предоставлять библиотеку в виде набора .h файлов. Либо не использовать шаблоны. Да и сейчас вообще концепция бинарных библиотек ИМХО выходит из моды. Поменял какую-то dll-ку и часть программ сломалась. Язык Go не умеел создавать библиотеки, когда я на него в последний раз смотрел. Не думаю что это недосмотр.Механизм явного инстанцирования нужен на стыке библиотек.
Именно так и выглядят все 12 штук.WinMain писал(а):Здесь проблема возможно кроется не в реализации шаблона как такового, а в банальном оформлении заголовочного файла.
Заголовочный файл должен выглядеть примерно так...
Код cpp:
#ifndef _YOURHEADERNAME_
#define _YOURHEADERNAME_
// TODO: содержимое заголовочного файла...
#endif // конец файла
Такой подход предотвращает множественное определение одних и тех же сущностей
Не сломалась, так будет правильней.Absurd писал(а): Поменял какую-то dll-ку и часть программ сломалась.
Сионист писал(а):Не сломалась, так будет правильней.