Как мне инициализировать значение указателя Type*, используя синтаксис, подобный Type()?

Как мне инициализировать значение указателя Type*, используя синтаксис, подобный Type()?

Тебе нельзя. Синтаксис T() определен в 5.2.3/1,2 (C++03, немного другая формулировка в C++11 FDIS). В частности, во втором абзаце говорится:

Выражение T(), где T — спецификатор простого типа (7.1.5.2) для полного типа объекта, не являющегося массивом, или типа void (возможно, с указанием cv), создает rvalue указанного типа, который является значением -инициализированный (8.5);

Это означает, что int() создаст rvalue типа int и инициализирует значение. Теперь проблема в том, что int* - это не простой спецификатор типа, а скорее сложный спецификатор типа. Определение спецификатора простого типа в грамматике:

  simple-type-specifier:
    ::opt nested-name-specifieropt type-name
    ::opt nested-name-specifier template template-id
    char
    wchar_t
    bool
    short
    int
    long
    signed
    unsigned
    float
    double
    void

С именем типа, определяемым как:

  type-name:
    class-name
    enum-name
    typedef-name

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

Используйте typedef, чтобы сделать имя для вашего типа указателя:

typedef int *ip;

ip ptr = ip();

Та же идея должна работать для других типов, которым требуется более одного лексического элемента (слова) для определения имени типа (например, unsigned long, long long, unsigned long long * и т. д.).

Не требует использования typedef (но исключительно для C++11), что может быть полезно при работе с несколькими типами указателей:

template<typename T>
using alias = T;

тогда alias<int*> равно int*, так что вы можете сделать int* p = alias<int*>().

Аналогичное решение доступно для С++ 03 с использованием метафункции идентификации:

template<typename T>
struct identity {
    typedef T type;
};

int* p = identity<int*>::type();

Вот один из способов:

template <typename T>
T make_default()
{
    return T();
}

int main()
{
    int *p = make_default<int*>();
}

Просто сделать

int* x = int();

Он по-прежнему присваивает 0 указателю, заставляя его указывать на NULL-адрес, поскольку вы по умолчанию используете значение int по умолчанию, которое в любом случае равно 0.

На самом деле, он отлично работает для всех типов:

double* y = int();

Адрес по-прежнему является 32-битным (или 64-битным в зависимости от платформы) целым числом, поэтому я думаю, что он должен нормально работать для всех типов, если вы делаете = int().

Причина, по которой это не работает, заключается в том, что указатели не имеют конструкторов.

Синтаксис

int ()

звонки (теоретически)

int::int ()

который инициализирует переменную. (Скорее всего, компилятор просто обнуляет переменную, но это потому, что он «знает» о целых числах).

В С++ 11 вы можете использовать nullptr

int *ptr = nullptr;

В противном случае вам в значительной степени придется использовать NULL:

int *ptr = NULL;

Вот как это делается int* ptr = new int;

указатели кучи