Мое наблюдение на практике заключалось в том, что GC.SuppressFinalize
не всегда подавляет вызов финализатора. Может быть, финализатор называется беспредметным. Поэтому я задаюсь вопросом, имеет ли GC.SuppressFinalize
характер запроса, а не гарантию системы?
Дополнительная информация
Следующая информация может помочь предоставить больше контекста для quesiton, если это необходимо.
В документе GC.SuppressFinalize
указано, что это запрос:
Требует, чтобы система не вызывала финализатор для указанного объекта.
Интересно, было ли это случайным употреблением слова или действительно предназначено для описания поведения во время выполнения.
Я наблюдал это со следующим классом SingletonScope
, взятым из проекта Schnell, который был основан на оригинальная идея Ян Гриффитса, за исключением того, что она более обобщена. Идея заключается в обнаружении в отладочных сборках, если метод Dispose
получил вызов или нет. Если нет, финализатор в конце концов ударит, и можно предупредить. Если Dispose
вызывается, то GC.SuppressFinalize
следует запретить запуск финализатора. К сожалению, предупреждения, похоже, срабатывают, но не детерминированным образом. То есть, они не срабатывают при каждом запуске.
#region License, Terms and Author(s)
//
// Schnell - Wiki widgets
// Copyright (c) 2007 Atif Aziz. All rights reserved.
//
// Author(s):
// Atif Aziz, http://www.raboof.com
//
// This library is free software; you can redistribute it and/or modify it
// under the terms of the GNU Lesser General Public License as published by
// the Free Software Foundation; either version 2.1 of the License, or (at
// your option) any later version.
//
// This library is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
// License for more details.
//
// You should have received a copy of the GNU Lesser General Public License
// along with this library; if not, write to the Free Software Foundation,
// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
//
#endregion
namespace WikiPad
{
#region Imports
using System;
using System.Diagnostics;
#endregion
//
// NOTE: To use SingletonScope and ISingletonScopeHelper with value
// types, use Nullable<T>. For example, if the type of value to scope
// is ThreadPriority then use ISingletonScopeHelper<ThreadPriority?>
// and SingletonScope<ThreadPriority?>.
//
//
// In debug builds, this type is defined as a class so a finalizer
// can be used to detect an undisposed scope.
//
/// <summary>
/// Designed to change a singleton and scope that change. After exiting
/// the scope, the singleton is restored to its value prior to entering
/// the scope.
/// </summary>
#if !DEBUG
internal struct SingletonScope<T, H>
#else
internal sealed class SingletonScope<T, H>
#endif
: IDisposable
where H : ISingletonScopeHelper<T>, new()
{
private T _old;
public SingletonScope(T temp)
{
_old = Helper.Install(temp);
}
private static H Helper
{
get { return new H(); }
}
public void Dispose()
{
//
// First, transfer fields to stack then nuke the fields.
//
var old = _old;
_old = default(T);
//
// Shazam! Restore the old value.
//
Helper.Restore(old);
#if DEBUG
GC.SuppressFinalize(this); // Only when defined as a class!
#endif
}
#if DEBUG
//
// This finalizer is used to detect an undisposed scope. This will
// only indicate that the scope was not disposed but (unfortunately)
// not which one and where since GC will probably collect much later
// than it should have been disposed.
//
~SingletonScope()
{
Debug.Fail("Scope for " + typeof(T).FullName + " not disposed!");
}
#endif
}
}
Полный рабочий пример доступен в http://gist.github.com/102424 с инструкциями компиляции, но обратите внимание, что проблема пока не может быть детерминированна.