ประเด็นของ NSAssert คืออะไร

ฉันต้องถามสิ่งนี้เพราะ: สิ่งเดียวที่ฉันจำได้คือว่าหากการยืนยันล้มเหลวแอปก็จะขัดข้อง นั่นคือเหตุผลที่จะใช้ NSAssert หรือไม่ หรือประโยชน์อื่นของมันคืออะไร? และมันถูกต้องหรือไม่ที่จะวาง NSAssert ให้อยู่เหนือข้อสันนิษฐานใด ๆ ที่ฉันทำในโค้ดเช่นฟังก์ชันที่ไม่ควรรับ -1 เป็นพารามิเตอร์ แต่อาจเป็น -0.9 หรือ -1.1?

ยืนยันคือเพื่อให้แน่ใจว่าค่าเป็นสิ่งที่ควรจะเป็น หากการยืนยันล้มเหลวนั่นหมายความว่ามีบางอย่างผิดปกติดังนั้นแอปจะหยุดทำงาน เหตุผลหนึ่งในการใช้ assert คือหากคุณมีฟังก์ชั่นบางอย่างที่จะไม่ทำงานหรือจะสร้างผลข้างเคียงที่เลวร้ายมากหากพารามิเตอร์ตัวใดตัวหนึ่งที่ส่งผ่านไปนั้นไม่ใช่ค่าบางอย่าง (หรือช่วงของค่า) คุณสามารถใส่ assert ตรวจสอบให้แน่ใจว่าค่านั้นเป็นสิ่งที่คุณคาดหวังว่าจะเป็นและถ้าไม่ใช่ก็มีบางอย่างผิดปกติจริง ๆ ดังนั้นแอปจะหยุดทำงาน การยืนยันสามารถเป็นประโยชน์อย่างมากสำหรับการดีบัก / ทดสอบหน่วยและเมื่อคุณจัดเตรียมเฟรมเวิร์กเพื่อหยุดผู้ใช้ไม่ให้ทำสิ่งที่ "ชั่วร้าย"

ฉันไม่สามารถพูดกับ NSAssert ได้จริง ๆ แต่ฉันจินตนาการว่ามันทำงานคล้ายกับการยืนยันของ C ()

assert () ใช้ในการบังคับใช้สัญญาความหมายในรหัสของคุณ คุณถามว่าอะไร

มันก็เหมือนกับที่คุณพูดว่า: ถ้าคุณมีฟังก์ชั่นที่ไม่ควรได้รับ -1 คุณสามารถยืนยัน () บังคับใช้:

โมฆะ gimme_positive_ints (int i) {
  ยืนยัน (i> 0);
}

และตอนนี้คุณจะเห็นสิ่งนี้ในบันทึกข้อผิดพลาด (หรือ STDERR):

การยืนยัน i> 0 ล้มเหลว: ไฟล์ example.c, บรรทัด 2

ดังนั้นไม่เพียงป้องกันความปลอดภัยที่อาจเกิดจากอินพุตที่ไม่ดีเท่านั้น แต่ยังบันทึกข้อมูลเหล่านั้นด้วยวิธีมาตรฐานที่เป็นประโยชน์

โอ้และอย่างน้อยก็ใน C assert () เป็นมาโครดังนั้นคุณสามารถกำหนด assert () ใหม่เป็นแบบไม่ใช้ในโค้ดการเปิดตัวของคุณ ฉันไม่ทราบว่าเป็นกรณีของ NSAssert (หรือแม้กระทั่งยืนยัน () อีกต่อไป) แต่มันมีประโยชน์มากที่จะรวบรวมเช็คเหล่านั้น

NSAssertให้คุณมากกว่าแค่แอพที่ล้มเหลว มันบอกคุณชั้นเรียนวิธีการและบรรทัดที่มีการยืนยันเกิดขึ้น การยืนยันทั้งหมดสามารถปิดใช้งานได้อย่างง่ายดายโดยใช้ NS_BLOCK_ASSERTIONS ดังนั้นจึงเหมาะสำหรับการแก้ไขข้อบกพร่อง ในทางกลับกันการขว้างNSExceptionเพียงแอปขัดข้อง นอกจากนี้ยังไม่ได้บอกตำแหน่งของข้อยกเว้นและไม่สามารถปิดใช้งานได้อย่างง่ายดาย ดูความแตกต่างในภาพด้านล่าง

แอปขัดข้องเนื่องจากการยืนยันยังทำให้เกิดข้อยกเว้นเนื่องจากเอกสารคู่มือ NSAssert :

เมื่อเรียกใช้ตัวจัดการการยืนยันจะพิมพ์ข้อความแสดงข้อผิดพลาดที่มีเมธอดและชื่อคลาส (หรือชื่อฟังก์ชัน) จากนั้นเพิ่มข้อยกเว้น NSInternalInconsistencyException

NSAssert:

NSException:

นอกเหนือจากที่ทุกคนกล่าวไว้ข้างต้นพฤติกรรมเริ่มต้นของNSAssert()(ซึ่งแตกต่างจากของ C assert()) คือการโยนข้อยกเว้นซึ่งคุณสามารถจับและจัดการ ตัวอย่างเช่น Xcode ทำสิ่งนี้

เพื่ออธิบายอย่างที่ใครบางคนพูดถึง แต่ไม่ได้อธิบายอย่างสมบูรณ์เหตุผลในการมีและใช้ asserts แทนที่จะสร้างรหัสที่กำหนดเอง (เช่นการทำ ifs และเพิ่มข้อยกเว้นสำหรับข้อมูลที่ไม่ดีเป็นต้น) นั่นคือ asserts SHOULD ถูกปิดใช้งาน

ในขณะที่การพัฒนาและการดีบักการยืนยันเปิดใช้งานเพื่อให้คุณตรวจจับข้อผิดพลาด โปรแกรมจะหยุดชะงักเมื่อการประเมินยืนยันเป็นเท็จ แต่เมื่อรวบรวมเพื่อการผลิตคอมไพเลอร์จะละเว้นรหัสยืนยันและทำให้โปรแกรมของคุณทำงานได้เร็วขึ้น จากนั้นหวังว่าคุณจะได้แก้ไขข้อบกพร่องทั้งหมดแล้ว ในกรณีที่โปรแกรมของคุณยังมีข้อบกพร่องในระหว่างการผลิต (เมื่อปิดการใช้งานการยืนยันและโปรแกรม "ข้ามการยืนยัน") โปรแกรมของคุณอาจสิ้นสุดลงที่จุดอื่น

จากความช่วยเหลือของ NSAssert: "การยืนยันถูกปิดใช้งานหากมีการกำหนดแมโครมาก่อนตัวประมวลผล NS_BLOCK_ASSERTIONS" ดังนั้นเพียงแค่ใส่มาโครในเป้าหมายการแจกจ่ายของคุณ [เท่านั้น]

NSAssert(และ stdlib ที่เทียบเท่าassert) เพื่อตรวจหาข้อผิดพลาดในการเขียนโปรแกรมในระหว่างการพัฒนา คุณไม่ควรมีคำยืนยันที่ล้มเหลวในแอปพลิเคชั่นที่ผลิต (ปล่อยตัว) ดังนั้นคุณอาจยืนยันว่าคุณไม่เคยส่งจำนวนลบไปยังวิธีการที่ต้องมีอาร์กิวเมนต์เป็นบวก หากการยืนยันล้มเหลวระหว่างการทดสอบคุณมีข้อบกพร่อง อย่างไรก็ตามหากค่าที่ส่งผ่านนั้นถูกป้อนโดยผู้ใช้คุณจำเป็นต้องทำการตรวจสอบความถูกต้องของอินพุตแทนการใช้การยืนยันในการผลิต (คุณสามารถตั้งค่า #define สำหรับรุ่นบิลด์ที่ปิดใช้งานNSAssert*ได้

โดยทั่วไปมักใช้การยืนยันเพื่อบังคับให้ใช้วิธีการเฉพาะหรือชิ้นส่วนของตรรกะ สมมติว่าคุณกำลังเขียนวิธีที่คำนวณผลรวมของสองจำนวนเต็มมากกว่าศูนย์ เพื่อให้แน่ใจว่ามีการใช้วิธีการตามที่ตั้งใจไว้เสมอคุณอาจจะต้องทำการยืนยันซึ่งเป็นการทดสอบสภาพนั้น

คำตอบสั้น ๆ : พวกเขาบังคับให้ใช้รหัสของคุณตามที่ตั้งใจไว้เท่านั้น

มันคุ้มค่าที่จะชี้ให้เห็นว่านอกเหนือจากการตรวจสอบเวลาทำงานการเขียนโปรแกรมยืนยันเป็นสิ่งสำคัญที่ใช้เมื่อคุณออกแบบรหัสของคุณตามสัญญา

ข้อมูลเพิ่มเติมเกี่ยวกับเรื่องของการยืนยันและการออกแบบโดยสัญญาสามารถดูได้ที่ด้านล่าง:

การยืนยัน (การพัฒนาซอฟต์แวร์)

ออกแบบตามสัญญา

การเขียนโปรแกรมด้วยการยืนยัน

ออกแบบโดยสัญญาตามตัวอย่าง [ปกอ่อน]

เพื่อตอบคำถามของเขาอย่างเต็มที่จุดประสงค์ของการยืนยันประเภทใดก็เพื่อช่วยในการดีบั๊ก การจับข้อผิดพลาดจากแหล่งที่มานั้นมีประโยชน์มากขึ้นจากนั้นจึงจับพวกเขาในตัวดีบักเมื่อเกิดข้อผิดพลาด

ตัวอย่างเช่นคุณอาจส่งผ่านค่าไปยังฟังก์ชันที่คาดหวังค่าในช่วงที่กำหนด ฟังก์ชันนี้อาจเก็บค่าไว้เพื่อใช้ในภายหลังและในภายหลังจะใช้แอปพลิเคชันขัดข้อง สแตกการโทรที่เห็นในสถานการณ์นี้จะไม่แสดงแหล่งที่มาของค่าที่ไม่ถูกต้อง มันเป็นการดีกว่าที่จะจับค่าที่ไม่ดีเมื่อพบว่าใครกำลังผ่านค่าที่ไม่ดีและเพราะเหตุใด

NSAssertทำให้แอปหยุดทำงานเมื่อตรงกับเงื่อนไข หากไม่ตรงกับเงื่อนไขข้อความถัดไปจะทำงาน มองหา EX ด้านล่าง:

ฉันเพิ่งสร้างแอพเพื่อทดสอบว่างานNSAssertคืออะไร:

    - (void)viewDidLoad {
    [super viewDidLoad];
    // Do any additional setup after loading the view, typically from a nib.
    [self testingFunction:2];
}

-(void)testingFunction: (int)anNum{
    // if anNum < 2 -> the app will crash
    // and the NSLog statement will not execute
    // that mean you cannot see the string: "This statement will execute when anNum < 2"
    // into the log console window of Xcode
    NSAssert(anNum >= 2, @"number you enter less than 2");
    // If anNum >= 2 -> the app will not crash and the below 
    // statement will execute
    NSLog(@"This statement will execute when anNum < 2");
}

ในรหัสของฉันแอพจะไม่พังและกรณีทดสอบคือ:

• anNum > = 2 -> แอพจะไม่ทำงานผิดพลาดและคุณสามารถเห็นสตริงการบันทึก: "คำสั่งนี้จะทำงานเมื่อ anNum <2" ในหน้าต่างคอนโซลบันทึก outPut
• anNum <2 -> แอพจะทำงานล้มเหลวและคุณไม่เห็นสตริงบันทึก: "คำสั่งนี้จะทำงานเมื่อมีจำนวน <2"