Использование () -Operator в шаблонах
Мне не удалось найти ответ в Google, так как я не знаю, что на самом деле искать. Итак, я наткнулся на это:
template<typename T>
class SkipList {
public:
SkipList() : max_level_(16) {
head = new Node(T(), max_level_);
...
}
и я действительно не знаю, что означает T(). Я знаком с концепцией шаблонов (по крайней мере, у меня есть базовые знания об этом), но я никогда не видел, чтобы на них использовался () -Operator. Так что же он делает?
Он вызывает конструктор по умолчанию ...
T - это тип. T() по умолчанию инициализирует временный объект типа T. В показанном вами коде этот объект передается в качестве первого аргумента конструктору Node.
@liliscent технически выполняет инициализация значения, что связано, но отличается.
@liliscent: Только косвенно. В C++ нет синтаксиса для «вызова конструктора».
@LightnessRacesinOrbit Согласитесь, и это действительно раздражает. Иногда было бы удобнее, если бы конструктор можно было рассматривать как статическую функцию.
@liliscent: Я не считаю это «раздражающим», я считаю это вполне разумным и логичным. Я не вижу смысла рассматривать конструктор как статическую функцию-член. Не могли бы вы описать один?
@LightnessRacesinOrbit Иногда вы хотите использовать его адрес, чтобы передать его функции высокого порядка, возможно, выполнить некоторую проверку, подобную SFINAE.
@liliscent: Не могу придумать причины для этого
@LightnessRacesinOrbit std::declval не имеет отношения к построению, он дает вам фальшивую ссылку на rvalue ... Можно использовать универсальную лямбду для обертывания конструктора.
@liliscent я имел в виду std::is_constructible (и друзей)
Ответы 2
При этом создается объект этого типа по умолчанию. В зависимости от объекта это будет означать разные вещи, но все сводится к тому, что когда вы хотите что-то там, но не особо заботитесь о том, что это такое, вы можете использовать объект по умолчанию, чтобы получить объект с общими значениями. Для int и double он должен быть 0, но для более сложных типов, таких как string, он становится таким, как пустая строка, или все атрибуты имеют значение 0. Это отчасти является причиной наличия конструктора по умолчанию в классах.
std::cout << int() << " " << std::string() << " " << double();
выходы:
0 0
В C++ нет «нулевой строки». Создание std::string из nullptr (или NULL, или 0) является неопределенным поведением. Вы имеете в виду строку пустой, которая совсем другая.
int() создает int по умолчанию (ноль).
using Ptr = void*; Ptr() создает void* по умолчанию (nullptr).
std::string() создает std::string по умолчанию (пустая строка).
Вы видите закономерность?
T() создает T по умолчанию и работает для всех типов, для которых объекты могут быть созданы без передачи каких-либо аргументов. Если T - это int, то вы получите нулевой int. Если T - это void*, то вы получаете nullptr. Если T - это std::string, то вы получите пустую строку. И так далее.
T- это тип. И хорошая книга должен подробно охватывать инициализацию.