Вказівник проти посилання

Що було б кращою практикою при наданні функції оригінальної змінної для роботи:

unsigned long x = 4;

void func1(unsigned long& val) {
     val = 5;            
}
func1(x);

або:

void func2(unsigned long* val) {
     *val = 5;
}
func2(&x);

IOW: Чи є підстави обрати один одного?

Моє правило:

Використовуйте покажчики, якщо ви хочете робити з ними арифметику вказівника (наприклад, збільшуючи адресу вказівника, щоб перейти через масив) або якщо вам коли-небудь доведеться передати NULL-покажчик.

Використовуйте посилання інакше.

Я дійсно думаю, що ви отримаєте користь від встановлення наступних функцій виклику кодування:

1. Як і у всіх інших місцях, завжди будь- constправильним.

   • Примітка. Це означає, серед іншого, що лише значень, що мають значення (див. Пункт 3) та значення, передані за значенням (див. Пункт 4), можуть бракувати constспецифікатора.

2. Передавайте значення лише за вказівником, якщо значення 0 / NULL є дійсним введенням у поточному контексті.

   • Обґрунтування 1: Як абонент , ви бачите, що все, що ви переходите, повинно бути у справному стані.

   • Обґрунтування 2: Як закликано , ви знаєте, що все, що відбувається, знаходиться у використанні. Отже, для цього значення не потрібно проводити перевірку NULL або обробку помилок.

   • Обґрунтування 3: Обґрунтування 1 і 2 будуть виконані . Завжди ловіть помилки під час компіляції, якщо можете.

3. Якщо аргумент функції не має значення, то передайте його за посиланням.

   • Обґрунтування: Ми не хочемо порушувати пункт 2 ...

4. Виберіть "пропустити за значенням" над "пройти через посилання на const" лише у тому випадку, якщо значення є ПОД ( Звичайна стара структура даних ) або досить невелика (в пам'яті) або іншим способом досить дешевим (часовим) для копіювання.

   • Обгрунтування: уникайте зайвих копій.
   • Зауважте: досить малі та досить дешеві не є абсолютними вимірами.

Це врешті-решт стає суб'єктивним. Поки що обговорення корисне, але я не думаю, що на це є правильна чи вирішальна відповідь. Багато буде залежати від настанов стилю та ваших потреб у той час.

Хоча існують деякі різні можливості (чи може щось бути NULL) з покажчиком, найбільша практична різниця для вихідного параметра - це суто синтаксис. Наприклад, посібник зі стилів Google C ++ ( https://google.github.io/styleguide/cppguide.html#Reference_Arguments ), наприклад, позначає лише покажчики на вихідні параметри та дозволяє використовувати лише посилання, які є const. Міркування є читабельним: щось із синтаксисом значення не повинно мати смислове значення покажчика. Я не припускаю, що це обов'язково правильно чи неправильно, але я думаю, що тут справа в тому, що це справа стилю, а не коректності.

Вам слід передати вказівник, якщо ви збираєтесь змінити значення змінної. Навіть незважаючи на те, що технічно передача посилання або вказівника однакова, передача покажчика у вашому випадку використання є більш читаною, оскільки "рекламує" той факт, що значення буде змінено функцією.

Якщо у вас є параметр, де вам може знадобитися вказати відсутність значення, звичайна практика робити параметр значенням вказівника і передавати в NULL.

Кращим рішенням у більшості випадків (з точки зору безпеки) є використання boost :: необов'язково . Це дозволяє передавати необов'язкові значення за посиланням, а також як повернене значення.

// Sample method using optional as input parameter
void PrintOptional(const boost::optional<std::string>& optional_str)
{
    if (optional_str)
    {
       cout << *optional_str << std::endl;
    }
    else
    {
       cout << "(no string)" << std::endl;
    }
}

// Sample method using optional as return value
boost::optional<int> ReturnOptional(bool return_nothing)
{
    if (return_nothing)
    {
       return boost::optional<int>();
    }

    return boost::optional<int>(42);
}

Використовуйте посилання, коли можете, використовуйте вказівник, коли потрібно. З C ++ FAQ: "Коли я повинен використовувати посилання та коли я повинен використовувати вказівники?"

Покажчики

• Вказівник - це змінна, що містить адресу пам'яті.
• Декларація вказівника складається з базового типу, * та імені змінної.
• Вказівник може вказувати на будь-яку кількість змінних протягом життя

• Вказівнику, який в даний момент не вказує на дійсне місце пам'яті, надається значення null (Що дорівнює нулю)

  BaseType* ptrBaseType;
  BaseType objBaseType;
  ptrBaseType = &objBaseType;

• & - унарний оператор, який повертає адресу пам'яті свого операнда.

• Оператор перенаправлення (*) використовується для доступу до значення, збереженого у змінній, на яку вказує вказівник.

     int nVar = 7;
     int* ptrVar = &nVar;
     int nVar2 = *ptrVar;

Довідково

• Посилання (&) - це як псевдонім існуючої змінної.

• Посилання (&) - це як постійний вказівник, який автоматично відмічається.

• Зазвичай використовується для списків аргументів функцій та повернених значень функції.

• Посилання має бути ініціалізовано під час його створення.

• Після того, як посилання ініціалізується на об'єкт, його не можна змінити для посилання на інший об'єкт.

• Ви не можете мати NULL посилань.

• Посилання на const може посилатися на const int. Це робиться з тимчасовою змінною зі значенням const

  int i = 3;    //integer declaration
  int * pi = &i;    //pi points to the integer i
  int& ri = i;    //ri is refers to integer i – creation of reference and initialization

Посилання - це неявний покажчик. В основному ви можете змінити значення, на яке посилаються точки, але ви не можете змінити посилання, щоб вказувати на щось інше. Отже, мої 2 центи - це те, що якщо ви хочете змінити значення параметра, передайте його як опорне, але якщо вам потрібно змінити параметр, щоб вказати на інший об'єкт, передайте його за допомогою вказівника.

Розгляньте ключове слово C #. Компілятор вимагає від виклику методу застосувати ключове слово out до будь-яких аргументів, хоча він уже знає, чи є вони. Це покликане підвищити читабельність. Хоча з сучасними IDE я схильний думати, що це робота для синтаксичного (або семантичного) виділення.

Пройти повз посилання const, якщо немає причин, який ви бажаєте змінити / зберегти вміст, який ви передаєте.

Це буде найбільш ефективним методом у більшості випадків.

Переконайтеся, що ви використовуєте const для кожного параметра, який ви не бажаєте змінювати, оскільки це не тільки захищає вас від того, щоб зробити щось нерозумно у функції, але й добре вказує іншим користувачам, що ця функція робить для переданих значень. Це включає створення const вказівника, коли ви хочете змінити лише те, на що вказували ...

Покажчики:

• Можна призначити nullptr(або NULL).
• На сайті виклику ви повинні використовувати, &якщо ваш тип не є самим покажчиком, явно ви змінюєте ваш об'єкт.
• Покажчики можуть бути відскоковими.

Список літератури:

• Не може бути нульовим.
• Після прив’язки не можна змінити.
• Абонентам не потрібно явно використовувати &. Це вважається часом поганим, тому що ви повинні перейти до реалізації функції, щоб побачити, чи змінено ваш параметр.

Посилання схожа на покажчик, за винятком того, що вам не потрібно використовувати префікс ∗ для доступу до значення, на яке посилається посилання. Також не може бути посилання на посилання на інший об'єкт після його ініціалізації.

Посилання особливо корисні для вказівки аргументів функції.

для отримання додаткової інформації див. "Екскурсія на C ++" від "Bjarne Stroustrup" (2014) Сторінки 11-12