Это невозможно в простом C ++, но вы можете проверить параметры шаблона во время компиляции с помощью проверки концепции, например, используя BCCL Boost .

Насколько мне известно, в настоящее время это невозможно в C ++. Однако есть планы добавить в новый стандарт C ++ 0x функцию, называемую «концепциями», которая обеспечивает нужную вам функциональность. Эта статья в Википедии о концепциях C ++ объяснит это более подробно.

Я знаю, что это не решает вашу непосредственную проблему, но есть некоторые компиляторы C ++, которые уже начали добавлять функции из нового стандарта, поэтому, возможно, удастся найти компилятор, который уже реализовал функцию концепций.

Есть ли какой-нибудь простой эквивалент этого ключевого слова в C ++?

Нет.

В зависимости от того, что вы пытаетесь выполнить, могут быть адекватные (или даже лучшие) замены.

I Я просмотрел некоторый код STL (в Linux, я думаю, это тот, который происходит от реализации SGI). В нем есть «концептуальные утверждения»; например, если вам требуется тип, который понимает * x и ++ x , утверждение концепции будет содержать этот код в функции ничего не делать (или что-то подобное). Это действительно требует некоторых накладных расходов, поэтому было бы разумно поместить его в макрос, определение которого зависит от #ifdef debug .

Если вы действительно хотите знать о взаимосвязи подклассов, вы можете утверждать в конструкторе, что T instanceof list (за исключением того, что в C ++ он "пишется" по-другому). Таким образом, вы можете проверить свой выход из компилятора, не имея возможности проверить это за вас.

Простое решение, о котором еще никто не упомянул, - просто игнорировать проблему. Если я попытаюсь использовать int в качестве типа шаблона в шаблоне функции, который ожидает контейнерный класс, такой как вектор или список, то я получу ошибку компиляции. Грубо и просто, но решает проблему. Компилятор попытается использовать указанный вами тип, и если это не удастся, он выдаст ошибку компиляции.

Единственная проблема с этим состоит в том, что сообщения об ошибках, которые вы получаете, будет сложно читать. Тем не менее, это очень распространенный способ сделать это. Стандартная библиотека полна шаблонов функций или классов, которые ожидают определенного поведения от типа шаблона и ничего не делают для проверки допустимости используемых типов.

Если вам нужны более удобные сообщения об ошибках (или если вы хотите отловить случаи, которые не приводят к ошибке компилятора,

Что ж, вы можете создать свой шаблон примерно так:

template<typename T>
class ObservableList {
  std::list<T> contained_data;
};

Это, однако, сделает ограничение неявным, плюс вы не сможете просто предоставить что-либо, похожее на список. Существуют и другие способы ограничения используемых типов контейнеров, например, путем использования определенных типов итераторов, которые существуют не во всех контейнерах, но опять же, это скорее неявное, чем явное ограничение.

Насколько мне известно, конструкция который полностью отражал бы оператор Java, не существует в текущем стандарте.

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