Завтра на всех моих каналах будет еще один дневной перерыв, так как я становлюсь уже совсем взрослым мальчиком и иду рвать свой первый зуб мудрости... Пожелайте удачи и терпения)
А на прошлой неделе мы закончили большой, трехнедельный цикл по Account Abstraction, и дальше мы снова некоторое время будем разбирать пункты из прекрасного репо Chinmaya, посвященное нюансам Solidity.
Мы остановились на 27 пункте:
The code of free functions is included in all contracts that call them, similar to internal library functions (free functions are those that exist at file level, outside of a contract).
который переводится как:
Код свободных функций включается во все контракты, которые их вызывают, подобно внутренним библиотечным функциям (свободные функции - это те, которые существуют на уровне файлов, вне контракта). Что же имеется тут ввиду?
Начну с небольшого вопроса: знали ли вы, что функции в могут располагаться не только внутри самого контракта, но и снаружи, в рамках файла, где написан контракт? Приведу простой пример:
// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.7.1 <0.9.0;
function sum(uint[] memory arr) pure returns (uint s) {
for (uint i = 0; i < arr.length; i++)
s += arr[i];
}
contract ArrayExample {
bool found;
function f(uint[] memory arr) public {
// This calls the free function internally.
// The compiler will add its code to the contract.
uint s = sum(arr);
require(s >= 10);
found = true;
}
}
Вот это вполне рабочий код, где функция sum() находится вне рамок контракта.
Обратите внимание, что данные функции, которые и называют как раз "свободными функциями", не имеют и не могут иметь области видимости. Если вы попробуете указать область, например:
function sum(uint[] memory arr) private pure returns (uint s)
то компилятор подсветит ошибку.
В данном пункте, по сути, говорится, что такие функции работают как и обычные internal функции в контракте, или такие же функции в библиотеках, и встраиваются в контракт.
Другими словами, функции, определенные вне контракта, по-прежнему всегда выполняются в контексте контракта. Они по-прежнему могут вызывать другие контракты, отправлять им Эфир и уничтожать вызвавший их контракт, помимо всего прочего. Основное отличие от обычных функций, определенных внутри контракта, заключается в том, что свободные функции не имеют прямого доступа к переменной this, переменным хранения и функциям, не входящим в их область видимости.
#freefunctions