ការសរសេរកម្មវិធីខ្លួនវាអាចត្រូវបានមានភាពស្មុគស្មាញ។ ដើម្បីចាប់ផ្តើមជាមួយនឹងការ, ថាសកម្មភាពទាំងអស់គួរតែត្រូវបានសរសេរចេញពីជំហានដោយជំហាន។ ប៉ុន្តែជាមួយដូចជាការចាំបាច់មួយមានលក្ខណៈពិសេសជាច្រើនដែលយ៉ាងខ្លាំងជួយសម្រួលដល់ការសំរេចបាននូវភារកិច្ចដែលត្រូវការកម្មវិធីនេះ ( "លោក Pascal" "C", "ដំឡើង" - មិនថាជាភាសាអ្វីដែលត្រូវប្រើ) ។ ផ្នែកមួយនៃឧបករណ៍ទាំងនេះគឺដើម្បីបង្កើតជាវដ្ត។
សារៈសំខាន់នៃវដ្តសរសេរកម្មវិធី
វដ្តគឺជាអ្វី? ហេតុអ្វីបានជាវាត្រូវបានគេត្រូវការជាចាំបាច់និងអ្វីប្រយោជន៍ដែលមកពីការសរសេរកម្មវិធីមួយនៅពេលដែលអ្នកប្រើវាបានដែរឬទេ? វដ្តនេះគឺជាសមាសភាគរចនាសម្ព័ន្ធសំខាន់នៃកម្មវិធីដែលអនុញ្ញាតឱ្យអ្នកប្រើការប្រតិបត្តិនៃចំនួនជាក់លាក់នៃសកម្មភាពនេះបានផ្តល់ការអនុលោមតាមប៉ារ៉ាម៉ែត្រដែលបានបង្កើតឡើងនេះ។ ដូច្នេះឧទាហរណ៍សាមញ្ញបំផុតនៃវដ្តការងារនេះ - podnesenie ចំនួនជាក់លាក់ទៅនឹងថាមពល។ វាមានតម្រូវការក្នុងការចេញវេជ្ជបញ្ជាជួរដេករហូតដល់នឹងមិនគ្រប់គ្រាន់ទេដោយសារតែម៉ាស៊ីននេះអាចត្រូវបានធ្វើដោយស្វ័យប្រវត្តិទាំងអស់ជាមួយនឹងវា។ នៅក្នុងការអនុវត្តនៃវដ្តនេះផងដែរអាចរក្សាទុកពេលវេលាច្រើននិងការខំប្រឹងប្រែងមួយ, ដូច្នេះវាមិនចាំបាច់ជារៀងរាល់ពេលនិងជំហានដើម្បីចុះឈ្មោះកូដដោយការប្រើវដ្តនេះទាំងអស់។ គ្រាន់តែបញ្ចូលអថេរអាចផ្លាស់ប្ដូរបានហើយចាប់ផ្តើមអនុវត្ត។ ប៉ុន្តែខណៈដែលគម្រោងសាងសង់ឡើងនៅវដ្ត? ឬសូម្បីតែច្រើន? ដោយខ្លួនឯងតំណាងនៃវដ្តនេះពិតជាច្រើន - ទិន្នន័យនេះអំពីការសរសេរកម្មវិធីមួយសៀវភៅ "លោក Pascal," យើងនឹងពិចារណាឬ "ដំឡើង" ។ ដូច្នេះសុទ្ធសាធសម្រាប់គោលបំណងផ្តល់ជូននូវគម្រោងក្រៅផ្លូវការេះទ្រឹស្តីនៃការប្រើប្រាស់ពេញនិយមបំផុតចំនួនពីរ:
- វដ្តជាមួយ postcondition ។
- រង្វិលជុំជាមួយបុរេលក្ខខណ្ឌមួយ។
អ្នកផ្សេងទៀតទាំងអស់គឺដើម្បីវិសាលភាពធំមួយនៃការប្រែប្រួលនិងករណីពិសេសរបស់ពួកគេដូច្នេះពួកគេត្រូវតែត្រូវបានចាត់ទុកនៅក្នុងបរិបទនិងក្នុងការសម្រេចបាននូវគោលដៅជាក់លាក់។ ក្នុងពេលនេះ, អនុញ្ញាតឱ្យយើងត្រឡប់ទៅកាន់ការពេញនិយមបំផុត។ នេះជាវដ្តនៃការខុសគ្នាជាមួយនឹងបុរេលក្ខខណ្ឌនិង postconditions? ខាងក្រោមនេះគឺជារង្វិលជុំជាមួយបុរេលក្ខខណ្ឌមួយ:
ខណៈពេលដែលការ«លក្ខខណ្ឌ»ធ្វើ«កូដ»
វដ្តក្របខ័ណ្ឌទ្រឹស្តីទូទៅជាមួយ postcondition
ទម្រង់នៃការសរសេរកូដនេះនៅពេលដែលវដ្តប្រតិបត្តិករជាមួយថ្លៃចំណាយលើការអនុវត្ត postcondition នៃរាងកាយ។ នៅ glance ដំបូងវាអាចហាក់ដូចជាចម្លែក: ជាការពិត, ហេតុអ្វីបានជាដាក់កាលៈទេសៈបន្ទាប់ពីការប្រតិបត្តិនៃកូដបានដែរឬទេ? ប៉ុន្តែគ្មានអ្វីជាការចម្លែកមាន: លក្ខណៈពិសេសនៃទម្រង់នេះគឺថាលេខកូដត្រូវបានប្រតិបត្តិដោយមិនគិតពីថាតើលក្ខខណ្ឌត្រូវបានជួបប្រជុំគ្នាបានឬមិនបានសម្តែង។ ប៉ុន្តែបានតែ 1 ដង។ បន្ទាប់មកនឹងអនុវត្តតាមការធ្វើតេស្តថាតើទាំងអស់នោះ, វាជាការគួរឬមិនបាន។ ហើយនៅក្នុងការអវត្ដមាននៃលក្ខខណ្ឌរាងកាយគ្រប់គ្រាន់នៃវដ្តនេះនឹងត្រូវបានមិនអើពើ។ នេះជាលក្ខណៈពិសេសសំខាន់ខ្លាំងណាស់និងមានប្រយោជន៍ដែលមានវដ្តជាមួយ postcondition មួយ។ នៅលើឧទាហរណ៍នៃអ្វីដែលវាត្រូវបានគេប្រាប់និងជាកន្លែងដែលអ្នកអាចមើលឃើញការអនុវត្តជាក់ស្តែងនោះលាបនៅទីនេះ? ខាងក្រោមនេះគឺជាឧទាហរណ៍មួយនៃវដ្តជាមួយ postcondition នេះ:
ម្តងទៀត
"កូដនេះ"
រហូតដល់«លក្ខខណ្ឌ»
មូលដ្ឋានទ្រឹស្តីទូទៅជាមួយវដ្តបុរេលក្ខខណ្ឌមួយ
ប៉ុន្តែជម្រើសដែលពេញនិយមបំផុតគឺពិតនេះ។ បារម្ភរបស់ខ្លួនស្ថិតនៅក្នុងការពិតដែលថាសម្រាប់ការប្រតិបត្តិនៃស្ថានភាពចាំបាច់ដោយគ្មានលេខកូដនេះមិនត្រូវបានប្រតិបត្តិ។ ជាធម្មតា, នេះគឺជាកូដយ៉ាងខ្លាំងនិងធ្វើឱ្យមានទំហំផលប៉ះពាល់អវិជ្ជមានលើការសម្តែងសរុបរបស់ខ្លួនកុំព្យូទ័រ។ ដូច្នេះពិតជាផែនការដែលត្រូវបានប្រើល្បិចកល្ប: ភាគច្រើននៃបំណែកនៃកូដដាក់ក្នុងរង្វិលជុំឬសូម្បីតែបុគ្គលដែលប្តឹងឧទ្ធរណ៍ថ្នាក់មកគ្រាន់តែនៅពេលខាងស្តាំ។ ក្រៅពីនេះពេលកូដនេះគឺ, ប៉ុន្តែមិនប្រើកុំព្យូទ័រមួយ។ គម្រោងនេះអនុញ្ញាតឱ្យអ្នកសន្សំថាមពលដំណើរការប្រតិបត្តិកម្មវិធីនេះឬកម្មវិធីផ្សេងទៀត។
ការអនុវត្តជាក់ស្តែងក្នុងភាសាសរសេរកម្មវិធីផ្សេង
ពាក្យមួយចំនួនអំពីការអនុវត្តជាក់ស្តែងនៃវដ្តប្រសិទ្ធភាពនោះ។ វាគួរតែត្រូវបានកត់សម្គាល់ជាលើកដំបូងនៃការទាំងអស់រក្សាទុកពេលវេលា, ទាំងអ្នកប្រើនិងអ្នកសរសេរកម្មវិធី។ នៅថ្ងៃទីពីរនេះត្រូវបានគេនិយាយថាហេតុអ្វីបានជា, ហេតុអ្វីបានជាគួរពាក្យមួយចំនួននិយាយអំពីអតិថិជន។ ការពិតដែលថាការបំបែកចូលទៅក្នុងផ្នែកដាច់ដោយឡែកដែលបានអនុញ្ញាតឱ្យកម្មវិធីដើម្បីផ្ទុកបានយ៉ាងលឿននិងរត់និងស្របទៅតាមនេះអ្នកប្រើនឹងមានតែសប្បាយចិត្តពេកក្នុងការប្រើកម្មវិធីបែបនេះ។ លើសពីនេះទៀតវិធីសាស្រ្តនេះនៅពេលដែលកូដរក្សាទុកនៅក្នុងវដ្តឬថ្នាក់ដាច់ដោយឡែកមួយ (ដែលត្រូវបានបង្កជាញឹកញាប់ពីរាងកាយ), និងអនុញ្ញាតឱ្យប្រសិទ្ធភាពការងារ។ អ្នកគួរតែនាំយកកំណត់ត្រាល្បឿននៅក្នុងកោសិកាសតិបុគ្គល។ ដូច្នេះប្រសិនបើមានអ្វីគ្រប់យ៉ាងត្រូវបានធ្វើដោយដៃ, វានឹងមានដើម្បីទទួលបានគ្នានិងមានធាតុសមរម្យ។ រង្វិលជុំអនុញ្ញាតឱ្យបានច្រើនដងឬសូម្បីតែការកាត់បន្ថយតម្រូវការរាប់សិបនាក់ដើម្បីធ្វើអ្វីគ្រប់យ៉ាងដែលខ្លួនឯង។ ហើយវាយកកត្តាមនុស្សដែលអាចនាំឱ្យមានការត្រូវការរកមើលម៉ោងកូដបញ្ហា។
សេចក្តីសន្និដ្ឋាន
ដូច្នេះ, សេចក្តីសន្និដ្ឋានដែលបានសរសេរទាំងអស់នេះយើងអាចនិយាយបានថាវដ្តជាមួយ postcondition ឬមុនមួយអនុញ្ញាតឱ្យមធ្យោបាយងាយស្រួលដើម្បីរក្សាទុកលុយដោយគ្មានការលះបង់គុណភាព។ ហើយនៅពេលដែលការសរសេរកម្មវិធីស្មុគ្រស្មាញ, វាគឺជាផ្នែកមួយនៃមិត្តភក្តិអ្នកសរសេរកម្មវិធីដែលល្អបំផុតដែលជួយគាត់ដើម្បីធ្វើឱ្យកាន់តែងាយស្រួលក្នុងការកូដអនុវត្តនិងការអាន។ ដូច្នេះពេលសរសេរកូដរបស់ពួកគេមិនឱ្យប្រើវដ្តមើលងាយមួយជាមួយ postcondition ឬបុរេលក្ខខណ្ឌ - ដែលពួកគេត្រូវបានរចនាឡើងជាពិសេសដើម្បីជួយសម្រួលដល់ដំណើរការនៃការបង្កើតកម្មវិធីនេះហើយវានឹងធ្វើការប្រឆាំងនឹងគាត់ - មិនមែនដើម្បីទាញយកប្រយោជន៍ពីឱកាសនេះ។