PHP: полный мануал с примерами, функциями и ООП

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$db=$config=null;$owned=$removed=$rows=$checks=$observations=[];
$runtime=s150Runtime();
try {

    $config=s150Config();$db=s150Connect($config);$runtime=s150Runtime($db,$config);

    $accounts=s150OwnTable($db,$owned,'commit_accounts','(id int NOT NULL PRIMARY KEY, balance_minor int NOT NULL CHECK(balance_minor >= 0))');
    $journal=s150OwnTable($db,$owned,'commit_journal','(operation_id nvarchar(40) NOT NULL PRIMARY KEY, from_id int NOT NULL, to_id int NOT NULL, amount_minor int NOT NULL CHECK(amount_minor > 0))');
    $qa=s150Qualified($accounts);$qj=s150Qualified($journal);
    s150Command($db,"INSERT INTO $qa (id,balance_minor) VALUES (1,10000),(2,2500)");
    s150Command($db,'SET NOCOUNT OFF');
    $amount=1250;$from=1;$to=2;$operation='TX-150-A';$active=false;$committed=false;
    if ($amount<=0 || $from===$to) {throw new InvalidArgumentException('Нужны положительная сумма и разные счета');}
    try {
        if (sqlsrv_begin_transaction($db)===false) {s150Failure('Начало перевода');}
        $active=true;
        $debit=s150Query($db,"UPDATE $qa SET balance_minor=balance_minor-? WHERE id=? AND balance_minor>=?",[$amount,$from,$amount]);
        try {$debited=sqlsrv_rows_affected($debit); if ($debited===false) {s150Failure('Количество списанных строк');}} finally {sqlsrv_free_stmt($debit);}
        if ($debited!==1) {throw new RuntimeException('Нет счёта или недостаточно средств');}
        $credit=s150Query($db,"UPDATE $qa SET balance_minor=balance_minor+? WHERE id=?",[$amount,$to]);
        try {$credited=sqlsrv_rows_affected($credit); if ($credited===false) {s150Failure('Количество зачисленных строк');}} finally {sqlsrv_free_stmt($credit);}
        if ($credited!==1) {throw new RuntimeException('Счёт получателя не найден');}
        s150Command($db,"INSERT INTO $qj (operation_id,from_id,to_id,amount_minor) VALUES (?,?,?,?)",[$operation,$from,$to,$amount]);
        if (sqlsrv_commit($db)===false) {s150Failure('Подтверждение перевода');}
        $active=false;$committed=true;
    } finally {
        if ($active && sqlsrv_rollback($db)===false) {s150Failure('Откат незавершённого перевода');}
    }
    // A second connection reads only after COMMIT: this is a fresh receipt, not a PHP copy.
    $reader=s150Connect($config);
    try {
        $balances=s150Read($reader,"SELECT id,balance_minor FROM $qa WHERE id IN (?,?) ORDER BY id",[$from,$to]);
        $receipt=s150Read($reader,"SELECT operation_id,from_id,to_id,amount_minor FROM $qj WHERE operation_id=?",[$operation]);
    } finally {sqlsrv_close($reader);}
    $sum=array_sum(array_column($balances,'balance_minor'));
    $rows=[['Подтверждение commit успешно',$committed],['Счёт 1, копейки',$balances[0]['balance_minor']],
        ['Счёт 2, копейки',$balances[1]['balance_minor']],['Сумма двух остатков, копейки',$sum],
        ['Номер записи журнала',$receipt[0]['operation_id']],['Записей этого перевода',count($receipt)],['Проверено новым соединением',true]];
    $checks=['commit_succeeded'=>$committed,'debit_one'=>$debited===1,'credit_one'=>$credited===1,
        'sender_balance'=>$balances[0]['balance_minor']===8750,'receiver_balance'=>$balances[1]['balance_minor']===3750,
        'sum_conserved'=>$sum===12500,'receipt_once'=>count($receipt)===1,'receipt_amount'=>$receipt[0]['amount_minor']===$amount,
        'receipt_parties'=>$receipt[0]['from_id']===$from && $receipt[0]['to_id']===$to];
    $observations=['balances_after_commit'=>$balances,'journal_after_commit'=>$receipt,'money_unit'=>'minor units, kopecks'];

} finally {
    if (is_resource($db)) {try {$removed=s150Cleanup($db,$owned);} finally {sqlsrv_close($db);}}
}

s150Report('sqlsrv150-transfer-commit','Перевести сумму и сохранить связанную запись журнала',$rows,$checks,$observations,$runtime,$owned,$removed);

Подтверждение commit успешно — да
Счёт 1, копейки — 8750
Счёт 2, копейки — 3750
Сумма двух остатков, копейки — 12500
Номер записи журнала — TX-150-A
Записей этого перевода — 1
Проверено новым соединением — да

Запустите в отдельной папке по README. lab.php открывает ограниченный учебный LocalDB, создаёт только собственные таблицы и сохраняет результат; сама транзакция и её завершение видны в example.php. Учебные таблицы после чтения удаляются.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$db=$config=null;$owned=$removed=$rows=$checks=$observations=[];
$runtime=s150Runtime();
try {

    $config=s150Config();$db=s150Connect($config);$runtime=s150Runtime($db,$config);

    $accounts=s150OwnTable($db,$owned,'rollback_accounts','(id int NOT NULL PRIMARY KEY, balance_minor int NOT NULL CHECK(balance_minor >= 0))');
    $journal=s150OwnTable($db,$owned,'rollback_journal','(operation_id nvarchar(40) NOT NULL PRIMARY KEY, amount_minor int NOT NULL)');
    $qa=s150Qualified($accounts);$qj=s150Qualified($journal);
    s150Command($db,"INSERT INTO $qa (id,balance_minor) VALUES (1,10000),(2,2500)");
    s150Command($db,"INSERT INTO $qj (operation_id,amount_minor) VALUES (?,?)",['TX-150-BUSY',77]);
    $active=false;$failed=false;$rolledBack=false;$saved=[];
    try {
        if (sqlsrv_begin_transaction($db)===false) {s150Failure('Начало отказавшего перевода');}
        $active=true;
        s150Command($db,"UPDATE $qa SET balance_minor=balance_minor-? WHERE id=?",[1250,1]);
        s150Command($db,"UPDATE $qa SET balance_minor=balance_minor+? WHERE id=?",[1250,2]);
        $inside=s150Read($db,"SELECT id,balance_minor FROM $qa ORDER BY id");
        $duplicate=sqlsrv_query($db,"INSERT INTO $qj (operation_id,amount_minor) VALUES (?,?)",['TX-150-BUSY',1250],['QueryTimeout'=>10]);
        $saved=s150Diagnostics(sqlsrv_errors(SQLSRV_ERR_ALL));
        $failed=$duplicate===false;
        if (is_resource($duplicate)) {sqlsrv_free_stmt($duplicate);}
        if (!$failed) {throw new RuntimeException('Ожидаемый дубликат не был отклонён');}
        if (sqlsrv_rollback($db)===false) {s150Failure('Откат после отказа журнала');}
        $active=false;$rolledBack=true;
    } finally {
        if ($active && sqlsrv_rollback($db)===false) {s150Failure('Аварийный откат примера');}
    }
    $after=s150Read($db,"SELECT id,balance_minor FROM $qa ORDER BY id");
    $journalRows=s150Read($db,"SELECT operation_id,amount_minor FROM $qj ORDER BY operation_id");
    $codes=array_column($saved,'code');
    $rows=[['До отказа внутри транзакции',$inside[0]['balance_minor'].' / '.$inside[1]['balance_minor']],
        ['Последний INSERT отклонён',$failed],['Причина сохранена до rollback',count($saved)>0],['Откат выполнен',$rolledBack],
        ['После отката, счёт 1',$after[0]['balance_minor']],['После отката, счёт 2',$after[1]['balance_minor']],
        ['Прежняя запись журнала сохранена',$journalRows===[['operation_id'=>'TX-150-BUSY','amount_minor'=>77]]]];
    $checks=['pending_balances_visible'=>$inside[0]['balance_minor']===8750 && $inside[1]['balance_minor']===3750,
        'duplicate_rejected'=>$failed,'diagnostic_saved'=>count($saved)>0,
        'unique_violation_code'=>in_array(2627,$codes,true)||in_array(2601,$codes,true),
        'rollback_succeeded'=>$rolledBack,'balances_restored'=>$after===[['id'=>1,'balance_minor'=>10000],['id'=>2,'balance_minor'=>2500]],
        'old_journal_preserved'=>$journalRows===[['operation_id'=>'TX-150-BUSY','amount_minor'=>77]]];
    $observations=['inside_before_failure'=>$inside,'saved_diagnostic_codes'=>$saved,'after_rollback'=>$after,'journal'=>$journalRows];

} finally {
    if (is_resource($db)) {try {$removed=s150Cleanup($db,$owned);} finally {sqlsrv_close($db);}}
}

s150Report('sqlsrv150-transfer-rollback','Откатить перевод, если журнал отверг последний INSERT',$rows,$checks,$observations,$runtime,$owned,$removed);

До отказа внутри транзакции — 8750 / 3750
Последний INSERT отклонён — да
Причина сохранена до rollback — да
Откат выполнен — да
После отката, счёт 1 — 10000
После отката, счёт 2 — 2500
Прежняя запись журнала сохранена — да

Запустите в отдельной папке по README. lab.php открывает ограниченный учебный LocalDB, создаёт только собственные таблицы и сохраняет результат; сама транзакция и её завершение видны в example.php. Учебные таблицы после чтения удаляются.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$db=$config=null;$owned=$removed=$rows=$checks=$observations=[];
$runtime=s150Runtime();
try {

    $config=s150Config();$db=s150Connect($config);$runtime=s150Runtime($db,$config);

    $stock=s150OwnTable($db,$owned,'stock_refusal','(id int NOT NULL PRIMARY KEY, available int NOT NULL CHECK(available >= 0))');
    $q=s150Qualified($stock);
    s150Command($db,"INSERT INTO $q (id,available) VALUES (1,8),(2,1)");
    s150Command($db,'SET NOCOUNT OFF');
    $active=false;$refused=false;$rolledBack=false;
    try {
        if (sqlsrv_begin_transaction($db)===false) {s150Failure('Начало резерва');}
        $active=true;
        $first=s150Query($db,"UPDATE $q SET available=available-? WHERE id=? AND available>=?",[3,1,3]);
        try {$count1=sqlsrv_rows_affected($first); if ($count1===false) {s150Failure('Счётчик первой позиции');}} finally {sqlsrv_free_stmt($first);}
        if ($count1!==1) {throw new RuntimeException('Первая учебная позиция должна резервироваться');}
        $second=s150Query($db,"UPDATE $q SET available=available-? WHERE id=? AND available>=?",[2,2,2]);
        try {$count2=sqlsrv_rows_affected($second); if ($count2===false) {s150Failure('Счётчик второй позиции');}} finally {sqlsrv_free_stmt($second);}
        $refused=$count2===0;
        if (!$refused) {throw new RuntimeException('Ожидался отказ по остатку второй позиции');}
        $inside=s150Read($db,"SELECT id,available FROM $q ORDER BY id");
        if (sqlsrv_rollback($db)===false) {s150Failure('Откат неполного резерва');}
        $active=false;$rolledBack=true;
    } finally {
        if ($active && sqlsrv_rollback($db)===false) {s150Failure('Аварийный откат резерва');}
    }
    $after=s150Read($db,"SELECT id,available FROM $q ORDER BY id");
    $rows=[['Первая команда изменила строк', $count1],['Вторая команда изменила строк', $count2],
        ['SQL второй команды выполнился',true],['До отката, остаток первой позиции',$inside[0]['available']],
        ['Резерв отклонён целиком',$refused && $rolledBack],['После отката, позиция 1',$after[0]['available']],['После отката, позиция 2',$after[1]['available']]];
    $checks=['first_changed'=>$count1===1,'second_zero'=>$count2===0,'business_refusal'=>$refused,
        'first_was_decreased'=>$inside[0]['available']===5,'second_unchanged'=>$inside[1]['available']===1,
        'rollback_succeeded'=>$rolledBack,'full_stock_restored'=>$after===[['id'=>1,'available'=>8],['id'=>2,'available'=>1]]];
    $observations=['requested'=>[['id'=>1,'qty'=>3],['id'=>2,'qty'=>2]],'inside_before_rollback'=>$inside,'after_rollback'=>$after];

} finally {
    if (is_resource($db)) {try {$removed=s150Cleanup($db,$owned);} finally {sqlsrv_close($db);}}
}

s150Report('sqlsrv150-stock-refusal','Отменить весь резерв, если второй позиции не хватает',$rows,$checks,$observations,$runtime,$owned,$removed);

Первая команда изменила строк — 1
Вторая команда изменила строк — 0
SQL второй команды выполнился — да
До отката, остаток первой позиции — 5
Резерв отклонён целиком — да
После отката, позиция 1 — 8
После отката, позиция 2 — 1

Запустите в отдельной папке по README. lab.php открывает ограниченный учебный LocalDB, создаёт только собственные таблицы и сохраняет результат; сама транзакция и её завершение видны в example.php. Учебные таблицы после чтения удаляются.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$db=$config=null;$owned=$removed=$rows=$checks=$observations=[];
$runtime=s150Runtime();
try {

    $config=s150Config();$db=s150Connect($config);$runtime=s150Runtime($db,$config);

    $account=s150OwnTable($db,$owned,'close_rollback','(id int NOT NULL PRIMARY KEY, balance_minor int NOT NULL)');
    $q=s150Qualified($account);
    s150Command($db,"INSERT INTO $q (id,balance_minor) VALUES (1,10000)");
    $active=false;
    try {
        if (sqlsrv_begin_transaction($db)===false) {s150Failure('Начало незавершённого изменения');}
        $active=true;
        s150Command($db,"UPDATE $q SET balance_minor=? WHERE id=?",[7500,1]);
        $inside=s150Read($db,"SELECT balance_minor FROM $q WHERE id=?",[1])[0]['balance_minor'];
        // Intentionally omit COMMIT: closing this connection rolls its transaction back.
        $closed=sqlsrv_close($db);
        if ($closed!==true) {s150Failure('Закрытие учебного соединения');}
        $active=false;$db=null;
    } finally {
        if ($active && is_resource($db) && sqlsrv_rollback($db)===false) {s150Failure('Аварийный откат опыта закрытия');}
    }
    $db=s150Connect($config);
    $after=s150Read($db,"SELECT balance_minor FROM $q WHERE id=?",[1])[0]['balance_minor'];
    // This new statement is not inside an explicit transaction: demonstrate auto-commit.
    s150Command($db,"UPDATE $q SET balance_minor=? WHERE id=?",[9900,1]);
    $reader=s150Connect($config);
    try {$auto=s150Read($reader,"SELECT balance_minor FROM $q WHERE id=?",[1])[0]['balance_minor'];}
    finally {sqlsrv_close($reader);}
    $rows=[['До закрытия своё соединение видит',$inside],['Соединение закрыто',$closed],
        ['Новое соединение после незавершённой транзакции',$after],['Новое изменение без begin_transaction',$auto]];
    $checks=['own_pending_value'=>$inside===7500,'connection_closed'=>$closed===true,
        'uncommitted_change_discarded'=>$after===10000,'new_connection_autocommit'=>$auto===9900];
    $observations=['inside_explicit_transaction'=>$inside,'after_close_new_connection'=>$after,'autocommit_visible_to_another_connection'=>$auto];

} finally {
    if (is_resource($db)) {try {$removed=s150Cleanup($db,$owned);} finally {sqlsrv_close($db);}}
}

s150Report('sqlsrv150-close-rollback','Увидеть, почему UPDATE без commit исчезает после закрытия',$rows,$checks,$observations,$runtime,$owned,$removed);

До закрытия своё соединение видит — 7500
Соединение закрыто — да
Новое соединение после незавершённой транзакции — 10000
Новое изменение без begin_transaction — 9900

Запустите в отдельной папке по README. lab.php открывает ограниченный учебный LocalDB, создаёт только собственные таблицы и сохраняет результат; сама транзакция и её завершение видны в example.php. Учебные таблицы после чтения удаляются.