Před použitím zkontrolujte
Porovnejte skutečné chování s očekávaným výsledkem. Pokud kontrola selže, před dalšími změnami zjistěte příčinu.
Pracovní prostředí s AI pro kód
Rotace bitů s pevnou šířkou
Otoč neznaménkové slovo doleva v šířce od 1 do 64 bitů.
● ● ●BitWhorl●
Pracovní postupy · Rotace bitů s pevnou šířkou ×
def rotate_left(value, count, width):
if any(type(x) is not int for x in (value, count, width)):
raise ValueError("rotate.type")
if not 1 <= width <= 64 or not 0 <= value < (1 << width) or count < 0:
raise ValueError("rotate.range")
count %= width
mask = (1 << width) - 1
return ((value << count) | (value >> (width - count))) & mask✳Rotace bitů s pevnou šířkou
✓ ZměnyPřed použitím zkontrolujte ↗
Ilustrace pracovního prostředí
Modely
Nastavte endpoint kompatibilní s OpenAI nebo Anthropic pomocí základní URL a případného API klíče. Otestujte připojení. Lokální server modelu musí běžet; vzdálené nástroje mohou data odesílat samostatně.
Projekt
Ověř nulové i úplné otočení s počtem kroků modulo šířka a odmítni záporné počty a příliš velké hodnoty.
Pracovní postupy
def rotate_left(value, count, width):
if any(type(x) is not int for x in (value, count, width)):
raise ValueError("rotate.type")
if not 1 <= width <= 64 or not 0 <= value < (1 << width) or count < 0:
raise ValueError("rotate.range")
count %= width
mask = (1 << width) - 1
return ((value << count) | (value >> (width - count))) & maskZahrňte předpoklady reprezentace do kontroly kódu
BitWhorl poskytuje projektové prostředí pro Windows k diskusi o změnách zdrojového kódu závislých na přesné reprezentaci. Otevřete kód a popište hodnoty očekávané okolní aplikací. Před požadavkem na refaktoring požádejte model o vysvětlení příslušných vstupních mezí, aby zdánlivě jednodušší výraz tiše nezměnil operaci.
Jako konkrétní úkol můžete do konverzace přinést rotate_word.py. Uveďte šířku slova a očekávané chování při počtu rotací větším než tato šířka a poté prověřte navržený kód spolu s volajícím kódem. Příklad dává konverzaci vymezené smluvené chování; netvrdí, že prostředí dodává knihovnu bitových operací.
Pomocí několika nezávisle stanovených testovacích případů ověřte návrh ve svém prostředí. Zahrňte nulovou rotaci, rotaci o celou šířku a hodnotu s nastaveným nejvyšším povoleným bitem. Prověřte i odmítané vstupy, zejména pokud jiná vrstva před voláním pomocné funkce hodnoty převádí. Během celé úpravy zachovejte konvenci reprezentace používanou aplikací.
Abliterovaný model AI může pomoci, pokud jej nabízí podporovaný koncový bod kompatibilní s OpenAI nebo koncový bod Anthropic. V prostředí nastavte toto připojení a případné potřebné přihlašovací údaje. Omezení modelu, kapacita kontextu a dostupnost nástrojů nadále závisí na zvoleném serveru, takže ověření přijatelnosti patří vašemu projektu, nikoli označení modelu.
Před změnou kódu s pevnou šířkou
Může volající předat záporný počet rotací?
Než budete předpokládat, že znamená rotaci opačným směrem, ověřte současné smluvené chování. Příklad záporné počty odmítá. Potřebuje-li volající počty se znaménkem, požadujte to jako výslovnou změnu chování a určete očekávané výsledky na obou stranách nuly.
Proč při hlášení selhání uvádět šířku?
Stejné celé číslo a počet mohou při různých šířkách slova dát jiné výsledky. Uveďte všechny tři vstupy a očekávaný výstup. Bez tohoto kontextu může model vysvětlovat platnou operaci, která pouze používá jinou reprezentaci než vaše aplikace.
Je maska jen implementační detail?
Může vynucovat reprezentaci výstupu, takže její odstranění může změnit pozorovatelné výsledky. Ptejte se, jak navržená úprava udržuje výstup v povolené šířce, a testujte případy s vysokými bity. Prověřte volající kód, který výsledek podle stejné konvence serializuje nebo porovnává.
Co pomáhá posoudit kratší výraz?
Porovnejte jeho chování s nezávisle zvolenými mezními příklady a současnými pravidly pro vstup. Přečtěte si vysvětlení významu posunů v daném jazyce i samotný výraz. Kratší zdrojový kód je užitečný pouze tehdy, pokud upravený kód zachovává požadovanou reprezentaci a odmítání vstupů.
BitWhorl · Aktualizováno 2026-10-25