АР
блин если человек не знает как "получить доступ к исходному коду программы", пугать его страшными словами типа "дизассемблера" точно не стоит
Size: a a a
2020 August 11
TW
блин если человек не знает как "получить доступ к исходному коду программы", пугать его страшными словами типа "дизассемблера" точно не стоит
Но ведь другого способа нет)
АР
Добрый вечер народ, можно узнать ? как можно получить доступ к исходному коду программы на C++
с++ - не javascript, программа на нем это не просто текст который прогоняется через выполнялку
TW
на гитхабе нет, а дизассемблер это что ?
Исходный код не получишь в общем
АР
Но ведь другого способа нет)
какой смысл в правильном ответе на вопрос если спросивший его не понял? )
TW
Логично)
MD
Добрый вечер народ, можно узнать ? как можно получить доступ к исходному коду программы на C++
Hexrays
AB
И зачем нужен SameHelper, если он просто вызывает is_same_v?
Чтобы выполнялось
> std::same_as<T, U> subsumes std::same_as<U, T> and vice versa
> std::same_as<T, U> subsumes std::same_as<U, T> and vice versa
AB
Это возможно только если вокруг && концепты походу
IZ
Добрый вечер народ, можно узнать ? как можно получить доступ к исходному коду программы на C++
Никак.
AT
https://en.cppreference.com/w/cpp/concepts/same_as
А почему надо писать
Зачем в хелпер надо писать
При этом в
Значит это сделано из-за чего-то, связанного с концептами.
Из-за чего? И как бы это могло поломаться, если бы мы сделали только так?
А почему надо писать
namespace detail {
template< class T, class U >
concept SameHelper = std::is_same_v<T, U>;
}
template< class T, class U >
concept same_as = detail::SameHelper<T, U> && detail::SameHelper<U, T>;Зачем в хелпер надо писать
detail::SameHelper<T, U> && detail::SameHelper<U, T>?При этом в
std::is_same гарантируется эта коммутативность std::is_same<T, U>::value == std::is_same<U, T>::valueЗначит это сделано из-за чего-то, связанного с концептами.
Из-за чего? И как бы это могло поломаться, если бы мы сделали только так?
template< class T, class U >
concept same_as = detail::SameHelper<T, U>;
https://en.cppreference.com/w/cpp/language/constraints#Partial_ordering_of_constraints
Здесь приведено описание "subsumption relationship", которое является частичным порядком для constraints и используется, например, для overload resolution.
@AsGreyWolf, говоря про "ортогональный концепт", наверное, хотел сказать, что
https://en.cppreference.com/w/cpp/language/constraints#Atomic_constraints
Здесь приведено описание "subsumption relationship", которое является частичным порядком для constraints и используется, например, для overload resolution.
@AsGreyWolf, говоря про "ортогональный концепт", наверное, хотел сказать, что
is_same_v<T, U> и is_same_v<U, T> не являются identical, если is_same_v<T, U> == false:https://en.cppreference.com/w/cpp/language/constraints#Atomic_constraints
D
https://en.cppreference.com/w/cpp/language/constraints#Partial_ordering_of_constraints
Здесь приведено описание "subsumption relationship", которое является частичным порядком для constraints и используется, например, для overload resolution.
@AsGreyWolf, говоря про "ортогональный концепт", наверное, хотел сказать, что
https://en.cppreference.com/w/cpp/language/constraints#Atomic_constraints
Здесь приведено описание "subsumption relationship", которое является частичным порядком для constraints и используется, например, для overload resolution.
@AsGreyWolf, говоря про "ортогональный концепт", наверное, хотел сказать, что
is_same_v<T, U> и is_same_v<U, T> не являются identical, если is_same_v<T, U> == false:https://en.cppreference.com/w/cpp/language/constraints#Atomic_constraints
Спасибо, уже разобрался
В любом случае
В любом случае
is_same_v<T, U> == is_same_v<U, T>AF
Ну is_same это пример какойто
AT
Это возможно только если вокруг && концепты походу
Более точное объяснение:
1) https://en.cppreference.com/w/cpp/language/constraints#Atomic_constraints
(смотрим на "Two atomic constraints are considered identical...")
2) https://en.cppreference.com/w/cpp/language/constraints#Partial_ordering_of_constraints
1) https://en.cppreference.com/w/cpp/language/constraints#Atomic_constraints
(смотрим на "Two atomic constraints are considered identical...")
2) https://en.cppreference.com/w/cpp/language/constraints#Partial_ordering_of_constraints
AF
Спасибо, уже разобрался
В любом случае
В любом случае
is_same_v<T, U> == is_same_v<U, T>Только это не концепты, а значит это компилятор не разрулит
AF
Если ты в одном напишешь один а в другом другой
D
Только это не концепты, а значит это компилятор не разрулит
Да, это я знаю
Я просто не понял сначала что имеется под identical
Я просто не понял сначала что имеется под identical
d
Уважаемые, скажите, метод c_str() класса std::string просто возвращает указатель на начало данных в памяти или сначала создаёт копию данных и возвращает указатель на них? Или все зависит от конкретной реализации STL?
АР
возвращает указатель