Копирование произошло, когда передается char * в строку?

Мне нужно вызвать функцию, параметры которой имеют строковый тип.

Я подумал, что std::string — хороший выбор, потому что он предоставляет много интерфейса.

Но недавно я обнаружил, что копия произошла, когда я перешел от char * к const std::string &.

вот код:

#include <iostream>
#include <string>
         
using namespace std;
         
void test_string(const std::string & s) {
  printf("%p\n", s.data());
}        
         
int main() {
  char aa[] = "asd";
  test_string(aa);
  printf("%p\n", aa);
}

Как показывает приведенный выше код, я могу передать std::string и char [] в свою функцию test_string.

И мой тип аргумента const std::string &, я думал, что копии не будет.

Но выходные данные показывают, что адрес другой, я думаю, что функция создает строку временной переменной, которая копируется из моего char [] один за другим. что не обязательно.

Это неправильное использование (перейдите от char[] к std::string)? Есть ли какой-нибудь хороший совет, чтобы избежать копирования?

Да, когда std::string состоит из aa (который не является std::string), создается копия. Если вы сначала передадите std::string (т. е. если aa было std::string), это будет сделано без копии.

wohlstad 27.08.2024 13:46

У вас есть два разных «объекта»: во-первых, это массив aa в функции main; Тогда это полностью независимый (и временный) объект, на который s ссылается в функции test_string. Почему вы решили, что оба указателя будут одинаковыми?

Some programmer dude 27.08.2024 13:47

«...думаю, что функция создает строку временной переменной,...» так оно и есть. Возможно, используйте std::string_view в качестве типа параметра — конструктор (4) будет тем, который вам нужен.

Richard Critten 27.08.2024 13:47

@Someprogrammerdude, я думаю, было бы здорово, если бы строка просто изменила указатель data() на адрес aa (стоимость копирования всего одного указателя)

kevin h 27.08.2024 13:51

@kevinh std::string владеет памятью (содержащей строку), это может вызвать проблемы, если он выйдет за пределы области действия и попытается удалить память, за которую не несет ответственности. std::string_view не владеет памятью.

Richard Critten 27.08.2024 13:53

Но это не всегда возможно... Речь идет скорее о владении данными. Если бы объект std::string не имел полного и полного владения, как бы он смог самостоятельно управлять памятью для этих данных? Как он узнает, какие данные необходимо освободить, а какие нет? Что делать, если вы сделаете несколько копий? Что, если вы попытаетесь изменить строку, и она использует указатель на (постоянный) строковый литерал?

Some programmer dude 27.08.2024 13:55

std::string можно изменить. Его изменение было бы катастрофой, если бы у него не было копии данных.

Mark Ransom 27.08.2024 14:17
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
0
8
63
2
Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

Ответ принят как подходящий

aa — это массив char, а не std::string, поэтому временный объект std::string — это конструктор, который передается по ссылке (как s) в test_string.

При создании этого временного объекта создается его копия (данные всегда принадлежат объекту std::string).

Если вы измените aa на std::string, копирование не будет выполнено, и оно будет передано по ссылке.

Альтернативно измените test_string, чтобы принять std::string_view. std::string_view не создает копию при создании (это просто не владеющее представление существующей строки, которое может быть создано из массива char так же, как и из другого std::string).
Как и все типы представлений (которые являются облегченными), по умолчанию вам следует передавать std::string_view по значению.
В этой статье это объясняется более подробно: Три причины передавать std::string_view по значению.

Итак, могу ли я сказать, что замена всех const std::string & на const std::string_view & — это простое и безопасное улучшение?

kevin h 27.08.2024 14:01

Вам даже не нужно использовать ссылку. string_view очень легкий и обычно передается по значению. См. это о передаче типов представлений по значению. Добавил обновленную информацию об этом в ответ.

wohlstad 27.08.2024 14:05

Я подумал, что std::string — хороший выбор, потому что он предоставляет множество интерфейсов.

Это хороший выбор, так почему бы вам не использовать его последовательно во всех случаях?

Запасная копия связана с тем, что вы используете два типа данных, поэтому за преобразование придется платить.

#include <iostream>
#include <string>
         
using namespace std;
         
void test_string(const std::string & s) {
  printf("%p\n", s.data());
}        
         
int main() {
  std::string aa{"asd"};
  test_string(aa);
  printf("%p\n", aa.data());
}

https://godbolt.org/z/5PYzroMMP

Он по-прежнему будет создавать ненужные копии, рассмотрите возможность использования вместо них std::string_view и std::print. Примечание: избегайте использования using namespace std;. Например: godbolt.org/z/efbe1aa1n

Pepijn Kramer 27.08.2024 14:52

Другие вопросы по теме