Я могу избежать исключений в C#, продолжив выполнение кода?

Question

Я могу избежать исключений в C#, продолжив выполнение кода?

Я рекомендовал бы Вам использовать valgrind для Linux. Это поймает не освобожденную память среди других ошибок как запись в освобожденную память. Другая опция является брызговиком, который говорит Вам о не освобожденная память также. Используйте -fmudflap -lmudflap опции с gcc, затем запустите свою программу с MUDFLAP_OPTIONS=-print-leaks ./my_program.

Вот некоторый очень простой код. Это не подходит для сложного отслеживания, но предназначенное, чтобы показать Вам, как Вы сделали бы это в принципе, если бы необходимо было реализовать его сами. Что-то вроде этого (не учел материал, назвав зарегистрированный new_handler и другие детали).

template<typename T>
struct track_alloc : std::allocator<T> {
    typedef typename std::allocator<T>::pointer pointer;
    typedef typename std::allocator<T>::size_type size_type;

    template<typename U>
    struct rebind {
        typedef track_alloc<U> other;
    };

    track_alloc() {}

    template<typename U>
    track_alloc(track_alloc<U> const& u)
        :std::allocator<T>(u) {}

    pointer allocate(size_type size, 
                     std::allocator<void>::const_pointer = 0) {
        void * p = std::malloc(size * sizeof(T));
        if(p == 0) {
            throw std::bad_alloc();
        }
        return static_cast<pointer>(p);
    }

    void deallocate(pointer p, size_type) {
        std::free(p);
    }
};

typedef std::map< void*, std::size_t, std::less<void*>, 
                  track_alloc< std::pair<void* const, std::size_t> > > track_type;

struct track_printer {
    track_type * track;
    track_printer(track_type * track):track(track) {}
    ~track_printer() {
        track_type::const_iterator it = track->begin();
        while(it != track->end()) {
            std::cerr << "TRACK: leaked at " << it->first << ", "
                      << it->second << " bytes\n";
            ++it;
        }
    }
};

track_type * get_map() {
    // don't use normal new to avoid infinite recursion.
    static track_type * track = new (std::malloc(sizeof *track)) 
        track_type;
    static track_printer printer(track);
    return track;
}

void * operator new(std::size_t size) throw(std::bad_alloc) {
    // we are required to return non-null
    void * mem = std::malloc(size == 0 ? 1 : size);
    if(mem == 0) {
        throw std::bad_alloc();
    }
    (*get_map())[mem] = size;
    return mem;
}

void operator delete(void * mem) throw() {
    if(get_map()->erase(mem) == 0) {
        // this indicates a serious bug
        std::cerr << "bug: memory at " 
                  << mem << " wasn't allocated by us\n";
    }
    std::free(mem);
}

int main() {
    std::string *s = new std::string;
        // will print something like: TRACK: leaked at 0x9564008, 4 bytes
}

Мы должны использовать наше собственное средство выделения для нашей карты, потому что стандартный будет использовать наш переопределенный новый оператор, который привел бы к бесконечной рекурсии.

Удостоверяются, переопределяете ли Вы новый оператор, Вы используете карту для регистрации выделений. Удаление памяти, выделенной формами размещения новых, будет использовать тот оператор delete также, таким образом, это сможет стать хитрым, если некоторый код, который Вы не знаете, перегрузил оператор, новый не использование Вашей карты, потому что оператор удаляет, скажет Вам, что это не было выделено, и используйте std::free для освобождения памяти.

Также примечание, как Мир указанный для его решения также, это только покажет утечки, которые вызываются кодом с помощью нашего собственного определенного оператора, new/delete. Таким образом, если Вы хотите использовать их, поместить их объявление в заголовок и включать его во все файлы, за которыми нужно наблюдать.

7

exception-handling c# visual-studio visual-studio-2008 c#-3.0

задан John Rudy 13 October 2009 в 15:18

13 ответов

Если возможно обработать исключение и продолжить, вам следует локализовать блоки try / catch.

try
{
  line1;
}
catch (ExpectedException e)
{
  // Handle your exception, prepare data for the next lines
  // Could you have prevented the exception in the first place?
}

try
{
  line2;
  line3;
}
catch (AnotherExpectedException e)
{
  // Maybe this exception you can't continue from. Perhaps log it and throw;
}

Помните, что исключения являются исключительными. Если возникает исключение, что-то должно было пойти не так. В первую очередь вам следует попытаться предотвратить исключения.

0