ISO/IEC TS 17961 [filecpy]

Копирование объекта FILE

Описание

Управляйте определением

Копирование объекта FILE. [1]

Примеры

развернуть все

Описание

Проблема происходит когда указатель на FILE объект разыменовывается.

Риск

Стандарт утверждает что адрес FILE объект, используемый, чтобы управлять потоком, может быть значительным. Копирование, что объектная сила не дает то же поведение. Это правило гарантирует, что вы не можете выполнить такую копию.

Непосредственно управление FILE объектная сила быть несовместимым с ее использованием в качестве потокового указателя.

Пример - FILE* Разыменованный указатель

#include <stdio.h>

void func(void) {
    FILE *pf1;
    FILE *pf2;
    FILE f3;

    pf2 = pf1;        /* Compliant */
    f3 = *pf2;        /* Non-compliant */
    pf2->_flags=0;    /* Non-compliant */
 }

В этом примере правило нарушено когда FILE* указатель pf2 разыменовывается.

Проверяйте информацию

Разрешимость: неразрешимый

Введенный в R2019a


[1]  Выписки из стандарта "Техническая характеристика ISO/IEC TS 17961 - 2013-11-15" воспроизводятся с соглашением о AFNOR. Только исходный и полный текст стандарта, как опубликовано Выпусками AFNOR - доступный через веб-сайт www.boutique.afnor.org - имеет нормативное значение.