| rdfs:comment
| - Αυτό το αρχείο κεφαλίδα περιέχει μακροεντολές που βοηθούν στην αναγνώριση και τον εντοπισμό λογικών λαθών (bugs) που μπορεί να υπάρχουν στον κώδικα. (el)
- assert.h is a header file in the standard library of the C programming language that defines the C preprocessor macro assert. In C++ it is also available through the <cassert></cassert> header file. (en)
- assert.h는 C 표준 라이브러리 중 하나다. C 언어 전처리기 매크로 중 하나인 assert 이 매크로는 표명을 구현하여 프로그램이 추정한 것을 확인하며 거짓인 경우 진단 메시지를 출력한다. C++에서는 cassert 헤더 파일을 통해 사용할 수 있다. 프로그램이 실행될 때, assert는 조건에 오류가 있을 경우 표준오류 (stderr)를 통해 실패한 호출의 정보를 출력하고, abort를 호출한다. 표준오류 (stderr)에 포함된 정보는 아래와 같다.
* 소스 파일명 (미리정의된 매크로 __FILE__)
* 소스 라인 넘버 (미리정의된 매크로 __LINE__)
* 소스 함수 (미리정의된 식별자 __func__)(C99에서 추가 됨)
* 0으로 추정된 텍스트 표현 리눅스에서 컴파일된 오류의 예 program: program.c:5: main: Assertion `a != 1' failed.Abort (core dumped) (ko)
- assert.h — заголовочный файл стандартной библиотеки языка программирования С, в котором объявляется макрос препроцессора языка С assert. Данный макрос реализует исключение, которое может использоваться для проверки сделанных программой вычислений. (ru)
- assert.h是C標準函数庫中的头文件。其中定义了assert宏用于程序调试。 在C標準函数庫中，它是個非常特別的头文件，你可以將它引入數次以獲得不同的效果，此效果依引入時是否以定義NDEBUG而定。 (zh)
- assert.h es un archivo de cabecera de la biblioteca estándar del Lenguaje de programación C, en el que se define la macro de depuración assert (aserción, en español), que implementa una aserción (test), usada para comprobar suposiciones en el programa: #define assert ( test ) Esta macro se expande como un bloque "if", en el que se comprueba la condición 'test' y, dependiendo de si es o no verdadera, puede abortar el programa. Si se coloca la directiva #define NDEBUG (no depurar) en el archivo fuente antes de incluir assert.h, entonces la macro se definirá como: #define assert(ignore)((void) 0) (es)
- est un en-tête présent dans la bibliothèque standard du langage C qui définit la macro assert. La macro met en œuvre une assertion, qui peut être utilisée pour vérifier les hypothèses formulées par le programme. La macro assert diagnostique les assertions dans le programme. Lorsqu'il est exécuté, si l'expression est fausse (c'est-à-dire égale à 0), assert écrit des informations sur l'appel qui a échoué dans stderr, puis appelle abort ; plus précisément, les informations écrites dans stderr sont : (fr)
- assert.h è l'header file della libreria standard del C che definisce la macro assert. Questa macro implementa un sistema di controllo delle asserzioni, che può essere utilizzato per verificare e controllare l'eventuale verificarsi di casi "impossibili" nel programma. int scelta = 0;do { /* Visualizzo un menu con 4 scelte numerate da 1 a 4 */ scanf("%d", &scelta);} while (scelta<1 || scelta>4);/* Primo blocco di operazioni eseguite in base al valore scelto */assert(scelta>=1 && scelta <=4);/* Secondo blocco di operazioni eseguite in base al valore scelto */ assert(*i++); (it)
- assert.h é um cabeçalho da biblioteca padrão do C. Este cabeçalho traz a definição da macro assert que implementa uma asserção, utilizada para verificar suposições feitas pelo programa. Sempre que a expressão passada como argumento é falsa (igual a zero) então a macro escreve uma mensagem na e termina o programa chamando abort. Através da macro é possível diagnosticar problemas através da informação impressa pela macro que contém o nome do , a linha do contendo a chamada para a macro, o nome da função que contém a chamada e o texto da expressão que foi avaliada. (pt)
- assert.h — заголовний файл стандартної бібліотеки мови програмування С, в якому оголошується макрос assert. Цей макрос реалізує висловлювання, котре може використовуватись для отримання припущень зроблених програмою. Макрос assert додає до програми процедуру діагностики. Після виконання, якщо визначення хибне (тобто, порівняння рівне 0), assert пише інформацію про виклик, котрий виконався з помилкою на stderr і викликає функцію abort. Інформація, котра пишеться на stderr включає у себе: (uk)
|
| has abstract
| - Αυτό το αρχείο κεφαλίδα περιέχει μακροεντολές που βοηθούν στην αναγνώριση και τον εντοπισμό λογικών λαθών (bugs) που μπορεί να υπάρχουν στον κώδικα. (el)
- assert.h is a header file in the standard library of the C programming language that defines the C preprocessor macro assert. In C++ it is also available through the <cassert></cassert> header file. (en)
- assert.h es un archivo de cabecera de la biblioteca estándar del Lenguaje de programación C, en el que se define la macro de depuración assert (aserción, en español), que implementa una aserción (test), usada para comprobar suposiciones en el programa: #define assert ( test ) Esta macro se expande como un bloque "if", en el que se comprueba la condición 'test' y, dependiendo de si es o no verdadera, puede abortar el programa. Si 'test' se evalúa como cero (es decir, si es falsa) entonces se aborta el programa mediante la función abort y se imprime un mensaje en en el que se incluyen la condición 'test', el nombre del archivo fuente y el número de línea en la que se llamó a assert mediante las macros estándar predefinidas __FILE__ y __LINE__, respectivamente), adicionalmente a partir de la versión C99 se incluye el nombre de la función que se estaba ejecutando (mediante la macro __func__). Si se coloca la directiva #define NDEBUG (no depurar) en el archivo fuente antes de incluir assert.h, entonces la macro se definirá como: #define assert(ignore)((void) 0) Lo que provoca que ésta no tenga ningún efecto en el programa. Algunos compiladores simplemente convierten todas las aserciones en comentarios. Ejemplo de sintaxis: void assert(int test); (es)
- est un en-tête présent dans la bibliothèque standard du langage C qui définit la macro assert. La macro met en œuvre une assertion, qui peut être utilisée pour vérifier les hypothèses formulées par le programme. La macro assert diagnostique les assertions dans le programme. Lorsqu'il est exécuté, si l'expression est fausse (c'est-à-dire égale à 0), assert écrit des informations sur l'appel qui a échoué dans stderr, puis appelle abort ; plus précisément, les informations écrites dans stderr sont :
* le nom du fichier source ;
* le numéro de la ligne concernée dans le code source ;
* la fonction mise en jeu dans le code source ;
* le texte de l'expression qui a été évaluée à 0. (fr)
- assert.h è l'header file della libreria standard del C che definisce la macro assert. Questa macro implementa un sistema di controllo delle asserzioni, che può essere utilizzato per verificare e controllare l'eventuale verificarsi di casi "impossibili" nel programma. L'utilità della macro assert risiede nella semplicità con la quale si può verificare un'affermazione che si ritiene, in un dato contesto, banalmente ovvia: ad esempio, ricontrollare il valore di una variabile sulla quale si sono già effettuate delle verifiche. Nel codice che segue, la macro assert viene utilizzata per controllare che il valore della variabile "scelta" sia effettivamente compreso nel range valido, nonostante l'uscita dal ciclo while implicitamente affermi la veridicità di questa condizione. int scelta = 0;do { /* Visualizzo un menu con 4 scelte numerate da 1 a 4 */ scanf("%d", &scelta);} while (scelta<1 || scelta>4);/* Primo blocco di operazioni eseguite in base al valore scelto */assert(scelta>=1 && scelta <=4);/* Secondo blocco di operazioni eseguite in base al valore scelto */ Utilizzando assert, il programmatore si accerta nuovamente che la condizione che aveva provocato l'uscita dal ciclo while sia ancora vera: in questo caso, ad esempio, verifica di non aver accidentalmente modificato il valore della variabile scelta all'interno del primo blocco di operazioni.L'utilizzo di assert dovrebbe essere limitato alla sola fase di sviluppo di un programma: per la brutalità del metodo di chiusura dell'eseguibile e per la scarsezza di informazioni sull'errore fornite a video, risulterebbe abbastanza frustrante per l'utente finale se utilizzato nella versione definitiva di un applicativo. Buona programmazione vorrebbe, infatti, che venga spiegato all'utente quale causa abbia scatenato il problema e, nel caso non fosse possibile proseguirne l'esecuzione, almeno permettere un salvataggio parziale dello stato del programma. Per questo, un codice simile a: int *ptr = malloc(sizeof(int) * 10);assert(ptr != NULL);/* utilizzo di ptr */ non rappresenta un uso ottimale di assert, perché, anche se raramente, è possibile che un'allocazione dinamica di memoria fallisca. Quando il programmatore non ha più bisogno delle asserzioni, invece di eliminarle tutte manualmente può definire la costante NDEBUG prima di includere nel file sorgente l'header assert.h: in questo modo, la macro assert viene espansa semplicemente in: #define assert(ignore)((void) 0) eliminando quindi tutte le possibili interazioni con il programma. Bisogna quindi far notare che, in questo caso, l'espressione passata ad assert non viene valutata. Come espressioni inserite all'interno di assert vanno quindi assolutamente evitate quelle con effetti collaterali, come ad esempio assert(*i++); che finirebbero per modificare la logica del programma a seconda della definizione o meno della costante NDEBUG. In questo esempio, infatti, al termine della verifica dell'asserzione, il valore del puntatore i risulterebbe incrementato di una unità nel caso NDEBUG non sia definito, mentre resterebbe inalterato nel caso opposto. (it)
- assert.h는 C 표준 라이브러리 중 하나다. C 언어 전처리기 매크로 중 하나인 assert 이 매크로는 표명을 구현하여 프로그램이 추정한 것을 확인하며 거짓인 경우 진단 메시지를 출력한다. C++에서는 cassert 헤더 파일을 통해 사용할 수 있다. 프로그램이 실행될 때, assert는 조건에 오류가 있을 경우 표준오류 (stderr)를 통해 실패한 호출의 정보를 출력하고, abort를 호출한다. 표준오류 (stderr)에 포함된 정보는 아래와 같다.
* 소스 파일명 (미리정의된 매크로 __FILE__)
* 소스 라인 넘버 (미리정의된 매크로 __LINE__)
* 소스 함수 (미리정의된 식별자 __func__)(C99에서 추가 됨)
* 0으로 추정된 텍스트 표현 리눅스에서 컴파일된 오류의 예 program: program.c:5: main: Assertion `a != 1' failed.Abort (core dumped) (ko)
- assert.h é um cabeçalho da biblioteca padrão do C. Este cabeçalho traz a definição da macro assert que implementa uma asserção, utilizada para verificar suposições feitas pelo programa. Sempre que a expressão passada como argumento é falsa (igual a zero) então a macro escreve uma mensagem na e termina o programa chamando abort. Através da macro é possível diagnosticar problemas através da informação impressa pela macro que contém o nome do , a linha do contendo a chamada para a macro, o nome da função que contém a chamada e o texto da expressão que foi avaliada. Tal mecanismo pode ser desabilitado sem realizar mudanças no código-fonte. Com a definição da macro NDEBUG, assert não gera código útil e passa a não ter efeito. (pt)
- assert.h — заголовний файл стандартної бібліотеки мови програмування С, в якому оголошується макрос assert. Цей макрос реалізує висловлювання, котре може використовуватись для отримання припущень зроблених програмою. Макрос assert додає до програми процедуру діагностики. Після виконання, якщо визначення хибне (тобто, порівняння рівне 0), assert пише інформацію про виклик, котрий виконався з помилкою на stderr і викликає функцію abort. Інформація, котра пишеться на stderr включає у себе:
* текст визначення, рівного 0
* ім'я файлу з джерельним кодом (the predefined macro __FILE__)
* рядок у файлу з джерельним текстом (the predefined macro __LINE__) (uk)
- assert.h — заголовочный файл стандартной библиотеки языка программирования С, в котором объявляется макрос препроцессора языка С assert. Данный макрос реализует исключение, которое может использоваться для проверки сделанных программой вычислений. (ru)
- assert.h是C標準函数庫中的头文件。其中定义了assert宏用于程序调试。 在C標準函数庫中，它是個非常特別的头文件，你可以將它引入數次以獲得不同的效果，此效果依引入時是否以定義NDEBUG而定。 (zh)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)