поймать несколько исключений одновременно?

<p>не рекомендуется просто ловить <code>system.exception</code>. вместо этого должны быть пойманы только "известные" исключения.</p><p>теперь это иногда приводит к ненужному повторяющемуся коду, например:</p><pre><code>try { webid = new guid(querystring["web"]); } catch (formatexception) { webid = guid.empty; } catch (overflowexception) { webid = guid.empty; } </code></pre><p>интересно: есть ли способ перехватить оба исключения и вызвать только один раз <code>webid = guid.empty</code>?</p><p>данный пример довольно прост, так как это всего лишь <a href="http://en.wikipedia.org/wiki/globally\_unique\_identifier"><code>guid</code></a> . но представьте себе код, в котором вы изменяете объект несколько раз, и если одна из манипуляций не удалась ожидаемым образом, вы хотите "сбросить" <code>object</code>. однако, если есть непредвиденное исключение, я все же хочу бросить это выше.</p>

<p>поймать <code>system.exception</code> и включить типы</p><pre><code>catch (exception ex) { if (ex is formatexception || ex is overflowexception) { webid = guid.empty; return; } throw; } </code></pre>

<p><strong>правка:</strong> я согласен с другими, которые говорят, что с c # 6.0 фильтры исключений теперь являются идеальным способом: <code>catch (exception ex) when (ex is ... || ex is ... )</code></p><p>за исключением того, что я все еще ненавижу макет с одной строкой и лично выложу код, как показано ниже. я думаю, что это так же функционально, как и эстетично, так как я считаю, что это улучшает понимание. некоторые могут не согласиться:</p><pre><code>catch (exception ex) when ( ex is ... || ex is ... || ex is ... ) </code></pre><p><strong>original:</strong></p><p>я знаю, что немного опоздал на вечеринку здесь, но святой дым ...</p><p>переходя к погоне, этот вид дублирует более ранний ответ, но если вы действительно хотите выполнить общее действие для нескольких типов исключений и сохранить все в чистоте и порядке в рамках одного метода, почему бы просто не использовать лямбду/закрытие/встроенная функция, чтобы сделать что-то вроде следующего? я имею в виду, что вполне вероятно, что в итоге вы поймете, что просто хотите сделать это закрытие отдельным методом, который вы можете использовать повсюду. но тогда это будет очень легко сделать без реального структурного изменения остальной части кода. правильно?</p><pre><code>private void testmethod () { action<exception> errorhandler = ( ex ) => { // write to a log, whatever... }; try { // try some stuff } catch ( formatexception ex ) { errorhandler ( ex ); } catch ( overflowexception ex ) { errorhandler ( ex ); } catch ( argumentnullexception ex ) { errorhandler ( ex ); } } </code></pre><p>я не могу не задаться вопросом (<strong>предупреждение:</strong> немного впереди иронии/сарказма), почему, черт возьми, приложить все эти усилия, чтобы просто заменить следующее:</p><pre><code>try { // try some stuff } catch( formatexception ex ){} catch( overflowexception ex ){} catch( argumentnullexception ex ){} </code></pre><p>... с каким-то безумным изменением этого следующего запаха кода, я имею в виду пример, только чтобы сделать вид, что вы экономите несколько нажатий клавиш.</p><pre><code>// sorta sucks, let's be honest... try { // try some stuff } catch( exception ex ) { if (ex is formatexception || ex is overflowexception || ex is argumentnullexception) { // write to a log, whatever... return; } throw; } </code></pre><p>потому что это, конечно, не более автоматически читается.</p><p>конечно, я оставил три идентичных экземпляра <code>/* write to a log, whatever... */ return;</code> из первого примера.</p><p>но это своего рода моя точка зрения. вы все слышали о функциях/методах, верно? шутки в сторону. напишите общую функцию <code>errorhandler</code> и, например, вызывайте ее из каждого блока catch.</p><p>если вы спросите меня, второй пример (с ключевыми словами <code>if</code> и <code>is</code>) и значительно менее читабелен, и одновременно значительно более подвержен ошибкам на этапе обслуживания вашего проекта.</p><p>фаза обслуживания для тех, кто может быть относительно новичком в программировании, будет составлять 98,7% или более от общего срока службы вашего проекта, и бедняга, выполняющий обслуживание, почти наверняка будет кем-то другим, кроме вас. и есть очень хороший шанс, что они будут тратить 50% своего времени на работу, ругаясь на ваше имя.</p><p>и, конечно, fxcop лает на вас, и поэтому вы должны <strong><em> также </em></strong> добавить в ваш код атрибут, который должен выполнять именно zip с запущенной программой, и только здесь, чтобы сказать fxcop игнорировать проблему, которая в 99,9% случаев является абсолютно правильной при маркировке. и, извините, я могу ошибаться, но разве этот атрибут "игнорировать" не скомпилирован в ваше приложение?</p><p>поместит ли тест <code>if</code> в одну строку, чтобы сделать его более читабельным? я так не думаю. я имею в виду, у меня когда-то был другой программист, яростно споривший однажды, что размещение большего количества кода в одной строке заставит его "работать быстрее". но, конечно, он был совершенно безумным. попытка объяснить ему (с открытым лицом - что было непросто), как интерпретатор или компилятор разбил бы эту длинную строку на дискретные операторы по одной инструкции на строку - по существу, идентичные результату, если бы он пошел вперед и просто сделал код читабельным вместо того, чтобы пытаться перехитрить компилятор - не оказал на него никакого влияния. но я отвлекся.</p><p>насколько <em> менее читаемым </em> это может быть получено при добавлении еще трех типов исключений через месяц или два? (ответ: он получает <strong><em> лот </em></strong> менее читабельный).</p><p>один из главных моментов, на самом деле, заключается в том, что основная часть форматирования текстового исходного кода, на который мы все смотрим каждый день, состоит в том, чтобы сделать его действительно, действительно очевидным для других людей, что на самом деле происходит, когда код выполняется. потому что компилятор превращает исходный код во что-то совершенно другое и не заботится о вашем стиле форматирования кода. так что все на одной линии - полный отстой.</p><p>просто говорю...</p><pre><code>// super sucks... catch( exception ex ) { if ( ex is formatexception || ex is overflowexception || ex is argumentnullexception ) { // write to a log, whatever... return; } throw; } </code></pre>

<p>как уже отмечали другие, вы можете иметь оператор <code>if</code> внутри вашего блока catch, чтобы определить, что происходит. c # 6 поддерживает фильтры исключений, поэтому будет работать следующее:</p><pre><code>try { … } catch (exception e) when (myfilter(e)) { … } </code></pre><p>затем метод <code>myfilter</code> может выглядеть примерно так:</p><pre><code>private bool myfilter(exception e) { return e is argumentnullexception || e is formatexception; } </code></pre><p>в качестве альтернативы, все это может быть сделано встроенным (правая часть оператора when просто должна быть логическим выражением).</p><pre><code>try { … } catch (exception e) when (e is argumentnullexception || e is formatexception) { … } </code></pre><p>это отличается от использования оператора <code>if</code> внутри блока <code>catch</code>, использование фильтров исключений <strong> не будет </strong> разматывать стек.</p><p>вы можете скачать <a href="http://www.visualstudio.com/en-us/downloads/visual-studio-2015-downloads-vs.aspx">visual studio 2015</a> , чтобы проверить это.</p><p>если вы хотите продолжить использовать visual studio 2013, вы можете установить следующий пакет nuget:</p><blockquote> <p>установить-пакет microsoft.net.compilers</p> </blockquote><p> <a href="http://www.nuget.org/packages/microsoft.net.compilers/">на момент написания, это будет включать поддержку c # 6.</a> </p><blockquote> <p>ссылка на этот пакет приведет к тому, что проект будет построен с использованием определенной версии компиляторов c # и visual basic, содержащихся в пакете, в отличие от любой установленной версии системы.</p> </blockquote>

<p>к сожалению, не в c #, поскольку для этого вам понадобится фильтр исключений, а c # не предоставляет эту возможность msil. vb.net имеет такую возможность, например,.</p><pre><code>catch ex as exception when typeof ex is formatexception orelse typeof ex is overflowexception </code></pre><p>что вы можете сделать, это использовать анонимную функцию для инкапсуляции вашего кода ошибки, а затем вызывать его в этих определенных блоках перехвата:</p><pre><code>action onerror = () => webid = guid.empty; try { // something } catch (formatexception) { onerror(); } catch (overflowexception) { onerror(); } </code></pre>

<p>ради полноты, поскольку <strong> .net 4.0 </strong> код можно переписать так:</p><pre><code>guid.tryparse(querystring["web"], out webid); </code></pre><p> <a href="http://msdn.microsoft.com/en-us/library/system.guid.tryparse.aspx">tryparse</a> никогда не генерирует исключения и возвращает false, если формат неправильный, устанавливая webid в <code>guid.empty</code>.</p><hr><p>поскольку <strong> c # 7 </strong>, вы можете избежать введения переменной в отдельной строке:</p><pre><code>guid.tryparse(querystring["web"], out guid webid); </code></pre><p>вы также можете создать методы для анализа возвращаемых кортежей, которые еще не доступны в .net framework начиная с версии 4.6:</p><pre><code>(bool success, guid result) tryparseguid(string input) => (guid.tryparse(input, out guid result), result); </code></pre><p>и используйте их так:</p><pre><code>webid = tryparseguid(querystring["web"]).result; // or var tuple = tryparseguid(querystring["web"]); webid = tuple.success ? tuple.result : defaultwebid; </code></pre><hr><p>следующее бесполезное обновление этого бесполезного ответа происходит, когда деконструкция out-параметров реализована в c # 12. :)</p>

<p>если вы можете обновить приложение до c # 6, вам повезет. в новой версии c # реализованы фильтры исключений. таким образом, вы можете написать это:</p><pre><code>catch (exception ex) when (ex is formatexception || ex is overflowexception) { webid = guid.empty; } </code></pre><p>некоторые люди думают, что этот код такой же, как</p><pre><code>catch (exception ex) { if (ex is formatexception || ex is overflowexception) { webid = guid.empty; } throw; } </code></pre><p>но это не так. на самом деле это единственная новая функция в c # 6, которую невозможно эмулировать в предыдущих версиях. во-первых, повторный бросок означает больше накладных расходов, чем пропуск улова. во-вторых, это не семантически эквивалентно. новая функция сохраняет стек без изменений при отладке кода. без этой функции аварийный дамп менее полезен или даже бесполезен.</p><p>смотрите <a href="https://roslyn.codeplex.com/discussions/541301">обсуждение этого на codeplex</a> . и <a href="http://www.volatileread.com/wiki/index?id=1087">пример, показывающий разницу</a> .</p>

<p>фильтры исключений теперь доступны в c # 6+. ты можешь сделать</p><pre><code>try { webid = new guid(querystring["web"]); } catch (exception ex) when(ex is formatexception || ex is overflowexception) { webid = guid.empty; } </code></pre><p>в c # 7.0+ вы можете комбинировать это с сопоставлением с шаблоном</p><pre><code>try { await task.waitall(tasks); } catch (exception ex) when( ex is aggregateexception ae ) { //do something with members of ae, say ae.innerexceptions } </code></pre>

<p>если вы не хотите использовать оператор <code>if</code> в областях действия <code>catch</code>, <strong> <em> в <code>c# 6.0</code>, вы можете использовать синтаксис <code>exception filters</code> </em> </strong>, которая уже поддерживалась clr в предварительных версиях, но существовала только в <code>vb.net</code>/<code>msil</code>:</p><pre><code>try { webid = new guid(querystring["web"]); } catch (exception exception) when (exception is formatexception || ex is overflowexception) { webid = guid.empty; } </code></pre><p>этот код перехватит <code>exception</code> только тогда, когда это <code>invaliddataexception</code> или <code>argumentnullexception</code>.</p><p>на самом деле, вы можете поместить практически любое условие в это предложение <code>when</code>:</p><pre><code>static int a = 8; ... catch (exception exception) when (exception is invaliddataexception && a == 8) { console.writeline("catch"); } </code></pre><p>обратите внимание, что в отличие от оператора <code>if</code> внутри области действия <code>catch</code>, <code>exception filters</code> не может генерировать <code>exceptions</code>, и когда они это делают, или когда условие не <code>true</code>, будет оцениваться следующее условие <code>catch</code>:</p><pre><code>static int a = 7; static int b = 0; ... try { throw new invaliddataexception(); } catch (exception exception) when (exception is invaliddataexception && a / b == 2) { console.writeline("catch"); } catch (exception exception) when (exception is invaliddataexception || exception is argumentexception) { console.writeline("general catch"); } </code></pre><blockquote> <p>результат: общий улов.</p> </blockquote><p>когда существует более одного <code>true</code> <code>exception filter</code> - будет принят первый:</p><pre><code>static int a = 8; static int b = 4; ... try { throw new invaliddataexception(); } catch (exception exception) when (exception is invaliddataexception && a / b == 2) { console.writeline("catch"); } catch (exception exception) when (exception is invaliddataexception || exception is argumentexception) { console.writeline("general catch"); } </code></pre><blockquote> <p>результат: поймать.</p> </blockquote><p>и, как вы можете видеть в <code>msil</code>, код не транслируется в операторы <code>if</code>, а в <code>filters</code>, и <code>exceptions</code> не может быть выброшен из областей, отмеченных <code>filter 1</code> и <code>filter 2</code>, но фильтр, выбрасывающий <code>exception</code>, не будет работать, а также последнее значение сравнения помещается в стек до того, как команда <code>endfilter</code> определит успех/неудачу фильтра (<code>catch 1</code> <strong> <em>xor</em> </strong> <code>catch 2</code> будет выполняться соответственно):</p><p> <a href="https://i.stack.imgur.com/uefe9.jpg"><img src="https://i.stack.imgur.com/uefe9.jpg" alt="exception filters msil"></a> </p><p><em> также, в частности, <code>guid</code> имеет метод <a href="https://msdn.microsoft.com/en-us/library/system.guid.tryparse(v=vs.110).aspx"><code>guid.tryparse</code></a> . </em></p>

<p>с помощью c # 7 <a href="https://stackoverflow.com/a/136038">ответ от майкла стума</a> можно улучшить, сохранив читабельность оператора switch:</p><pre><code>catch (exception ex) { switch (ex) { case formatexception \_: case overflowexception \_: webid = guid.empty; break; default: throw; } } </code></pre>

<p>в c # 6 рекомендуется использовать фильтры исключений, вот пример:</p><pre><code> try { throw new overflowexception(); } catch(exception e ) when ((e is dividebyzeroexception) || (e is overflowexception)) { // this will execute iff e is dividedbyzeroex or overflowex console.writeline("e"); } </code></pre>

<p>принятый ответ кажется приемлемым, за исключением того, что codeanalysis/ <a href="http://en.wikipedia.org/wiki/fxcop">fxcop</a> будет жаловаться на тот факт, что он перехватывает общий тип исключения.</p><p>кроме того, кажется, что оператор is может немного ухудшить производительность.</p><p><em> <a href="http://msdn.microsoft.com/en-us/library/ms182271.aspx">ca1800: не приводить без необходимости</a> </em> говорит "рассмотреть возможность проверки результата оператора" as "вместо", но если вы сделав это, вы будете писать больше кода, чем если бы вы ловили каждое исключение отдельно.</p><p>во всяком случае, вот что я бы сделал:</p><pre><code>bool exthrown = false; try { // something } catch (formatexception) { exthrown = true; } catch (overflowexception) { exthrown = true; } if (exthrown) { // something else } </code></pre>

<p>это вариант ответа мэтта (я чувствую, что это немного чище) ... используйте метод:</p><pre><code>public void trycatch(...) { try { // something return; } catch (formatexception) {} catch (overflowexception) {} webid = guid.empty; } </code></pre><p>любые другие исключения будут выброшены, и код <code>webid = guid.empty;</code> не будет достигнут. если вы не хотите, чтобы другие исключения вызывали сбой вашей программы, просто добавьте это после двух других зацепок:</p><pre><code>... catch (exception) { // something, if anything return; // only need this if you follow the example i gave and put it all in a method } </code></pre>

<p> <a href="https://stackoverflow.com/questions/136035/catch-multiple-exceptions-at-once/136092#136092">ответ джозефа дейгла</a> - хорошее решение, но я обнаружил, что следующая структура немного более аккуратна и менее подвержена ошибкам.</p><pre><code>catch(exception ex) { if (!(ex is someexception || ex is otherexception)) throw; // handle exception } </code></pre><p>есть несколько преимуществ обращения выражения:</p><ul> <li>заявление о возврате не требуется</li> <li>код не является вложенным</li> <li>нет риска забыть утверждения "throw" или "return", которые в решении иосифа отделены от выражения.</li> </ul><p>его можно даже сжать в одну строку (хотя и не очень красиво)</p><pre><code>catch(exception ex) { if (!(ex is someexception || ex is otherexception)) throw; // handle exception } </code></pre><hr><p><strong> редактировать: </strong> <a href="http://www.codeproject.com/articles/853207/what-s-new-in-csharp-exception-filters">фильтрация исключений</a> в c # 6.0 сделает синтаксис немного чище и поставляется с <a href="https://stackoverflow.com/a/27082164/2802543">число другие преимущества</a> по сравнению с любым текущим решением. (прежде всего оставляя стек без повреждений)</p><p>вот как будет выглядеть та же проблема с использованием синтаксиса c # 6.0:</p><pre><code>catch(exception ex) when (ex is someexception || ex is otherexception) { // handle exception } </code></pre>

<p>@micheal</p><p>немного переработанная версия вашего кода:</p><pre><code>catch (exception ex) { type extype = ex.gettype(); if (extype == typeof(system.formatexception) || extype == typeof(system.overflowexception) { webid = guid.empty; } else { throw; } } </code></pre><p>сравнение строк уродливо и медленно.</p>

<p>как насчет</p><pre><code>try { webid = guid.empty; webid = new guid(querystring["web"]); } catch (formatexception) { } catch (overflowexception) { } </code></pre>

<h3>предупреждения и предупреждения: <a href="http://community.bartdesmet.net/blogs/bart/archive/2008/01/06/exception-handling-in-functional-style.aspx">еще один вид, функциональный стиль.</a> </h3><p>то, что находится в ссылке, не дает прямого ответа на ваш вопрос, но тривиально расширить его так:</p><pre><code>static void main() { action body = () => { ...your code... }; body.catch<invalidoperationexception>() .catch<badcodeexception>() .catch<anotherexception>(ex => { ...handler... })(); } </code></pre><p><em> (по сути, предоставляет другую пустую перегрузку <code>catch</code>, которая возвращает себя) </em></p><p>главный вопрос к этому <em> почему </em>. я не думаю, что стоимость перевешивает выигрыш здесь :)</p>

<pre><code>catch (exception ex) { if (!( ex is formatexception || ex is overflowexception)) { throw; } console.writeline("hello"); } </code></pre>

<p>обновление 2015-12-15: см. <a href="https://stackoverflow.com/a/22864936/1718702">https://stackoverflow.com/a/22864936/1718702</a> для c # 6. это чище и теперь стандарт в языке.</p><p>предназначенный для людей, которые хотят, чтобы <a href="https://stackoverflow.com/q/791390/1718702">более элегантное решение</a> перехватывало один раз и фильтровало исключения, я использую метод расширения, как показано ниже.</p><p>у меня уже было это расширение в моей библиотеке, изначально написанное для других целей, но оно отлично работало для проверки <code>type</code> на исключения. плюс, имхо, это выглядит чище, чем куча операторов <code>||</code>. кроме того, в отличие от принятого ответа, я предпочитаю явную обработку исключений, чтобы <code>ex is ...</code> имел нежелательное поведение, поскольку производные классы присваиваются родительским типам).</p><p><strong> использование </strong></p><pre class="lang-cs prettyprint-override"><code>if (ex.gettype().isanyof( typeof(formatexception), typeof(argumentexception))) { // handle } else throw; </code></pre><p><strong> расширение isanyof.cs (см. пример полной обработки ошибок для зависимостей) </strong></p><pre class="lang-cs prettyprint-override"><code>namespace common.fluentvalidation { public static partial class validate { /// <summary> /// validates the passed in parameter matches at least one of the passed in comparisons. /// </summary> /// <typeparam name="t"></typeparam> /// <param name="p\_parameter">parameter to validate.</param> /// <param name="p\_comparisons">values to compare against.</param> /// <returns>true if a match is found.</returns> /// <exception cref="argumentnullexception"></exception> public static bool isanyof<t>(this t p\_parameter, params t[] p\_comparisons) { // validate p\_parameter .cannotbenull("p\_parameter"); p\_comparisons .cannotbenullorempty("p\_comparisons"); // test for any match foreach (var item in p\_comparisons) if (p\_parameter.equals(item)) return true; // return no matches found return false; } } } </code></pre><p><strong> пример полной обработки ошибок (копирование-вставка в новое консольное приложение) </strong></p><pre class="lang-cs prettyprint-override"><code>using system; using system.collections.generic; using system.linq; using system.text; using common.fluentvalidation; namespace isanyofexceptionhandlersample { class program { static void main(string[] args) { // high level error handler (log and crash app) try { foo(); } catch (outofmemoryexception ex) { console.writeline("fatal error! system crashing. " + ex.message); console.readkey(); } } static void foo() { // init list<action<string>> testactions = new list<action<string>>() { (key) => { throw new formatexception(); }, (key) => { throw new argumentexception(); }, (key) => { throw new keynotfoundexception();}, (key) => { throw new outofmemoryexception(); }, }; // run foreach (var fooaction in testactions) { // mid-level error handler (appends data for log) try { // init var somekeypassedtofoo = "fooparam"; // low-level handler (handle/log and keep going) try { fooaction(somekeypassedtofoo); } catch (exception ex) { if (ex.gettype().isanyof( typeof(formatexception), typeof(argumentexception))) { // handle console.writeline("ex was {0}", ex.gettype().name); console.readkey(); } else { // add some debug info ex.data.add("somekeypassedtofoo", somekeypassedtofoo.tostring()); throw; } } } catch (keynotfoundexception ex) { // handle differently console.writeline(ex.message); int count = 0; if (!validate.isanynull(ex, ex.data, ex.data.keys)) foreach (var key in ex.data.keys) console.writeline( "[{0}][\"{1}\" = {2}]", count, key, ex.data[key]); console.readkey(); } } } } } namespace common.fluentvalidation { public static partial class validate { /// <summary> /// validates the passed in parameter matches at least one of the passed in comparisons. /// </summary> /// <typeparam name="t"></typeparam> /// <param name="p\_parameter">parameter to validate.</param> /// <param name="p\_comparisons">values to compare against.</param> /// <returns>true if a match is found.</returns> /// <exception cref="argumentnullexception"></exception> public static bool isanyof<t>(this t p\_parameter, params t[] p\_comparisons) { // validate p\_parameter .cannotbenull("p\_parameter"); p\_comparisons .cannotbenullorempty("p\_comparisons"); // test for any match foreach (var item in p\_comparisons) if (p\_parameter.equals(item)) return true; // return no matches found return false; } /// <summary> /// validates if any passed in parameter is equal to null. /// </summary> /// <param name="p\_parameters">parameters to test for null.</param> /// <returns>true if one or more parameters are null.</returns> public static bool isanynull(params object[] p\_parameters) { p\_parameters .cannotbenullorempty("p\_parameters"); foreach (var item in p\_parameters) if (item == null) return true; return false; } } } namespace common.fluentvalidation { public static partial class validate { /// <summary> /// validates the passed in parameter is not null, throwing a detailed exception message if the test fails. /// </summary> /// <param name="p\_parameter">parameter to validate.</param> /// <param name="p\_name">name of tested parameter to assist with debugging.</param> /// <exception cref="argumentnullexception"></exception> public static void cannotbenull(this object p\_parameter, string p\_name) { if (p\_parameter == null) throw new argumentnullexception( string.format("parameter \"{0}\" cannot be null.", p\_name), default(exception)); } } } namespace common.fluentvalidation { public static partial class validate { /// <summary> /// validates the passed in parameter is not null or an empty collection, throwing a detailed exception message if the test fails. /// </summary> /// <typeparam name="t"></typeparam> /// <param name="p\_parameter">parameter to validate.</param> /// <param name="p\_name">name of tested parameter to assist with debugging.</param> /// <exception cref="argumentnullexception"></exception> /// <exception cref="argumentoutofrangeexception"></exception> public static void cannotbenullorempty<t>(this icollection<t> p\_parameter, string p\_name) { if (p\_parameter == null) throw new argumentnullexception("collection cannot be null.\r\nparameter\_name: " + p\_name, default(exception)); if (p\_parameter.count <= 0) throw new argumentoutofrangeexception("collection cannot be empty.\r\nparameter\_name: " + p\_name, default(exception)); } /// <summary> /// validates the passed in parameter is not null or empty, throwing a detailed exception message if the test fails. /// </summary> /// <param name="p\_parameter">parameter to validate.</param> /// <param name="p\_name">name of tested parameter to assist with debugging.</param> /// <exception cref="argumentexception"></exception> public static void cannotbenullorempty(this string p\_parameter, string p\_name) { if (string.isnullorempty(p\_parameter)) throw new argumentexception("string cannot be null or empty.\r\nparameter\_name: " + p\_name, default(exception)); } } } </code></pre><p><strong> два примера модульных тестов nunit </strong></p><p>поведение сопоставления для типов <code>exception</code> является точным (т. е. дочерний is не соответствует ни одному из его родительских типов).</p><pre class="lang-cs prettyprint-override"><code>using system; using system.collections.generic; using common.fluentvalidation; using nunit.framework; namespace unittests.common.fluent\_validations { [testfixture] public class isanyof\_tests { [test, expectedexception(typeof(argumentnullexception))] public void isanyof\_argumentnullexception\_shouldnotmatch\_argumentexception\_test() { action testmethod = () => { throw new argumentnullexception(); }; try { testmethod(); } catch (exception ex) { if (ex.gettype().isanyof( typeof(argumentexception), /*note: argumentnullexception derrived from argumentexception*/ typeof(formatexception), typeof(keynotfoundexception))) { // handle expected exceptions return; } //else throw original throw; } } [test, expectedexception(typeof(outofmemoryexception))] public void isanyof\_outofmemoryexception\_shouldmatch\_outofmemoryexception\_test() { action testmethod = () => { throw new outofmemoryexception(); }; try { testmethod(); } catch (exception ex) { if (ex.gettype().isanyof( typeof(outofmemoryexception), typeof(stackoverflowexception))) throw; /*else... handle other exception types, typically by logging to file*/ } } } } </code></pre>

<p>поскольку я чувствовал, что эти ответы только коснулись поверхности, я попытался копать немного глубже.</p><p>итак, что мы действительно хотим сделать, это то, что не компилируется, скажем:</p><pre><code>// won't compile... damn public static void main() { try { throw new argumentoutofrangeexception(); } catch (argumentoutofrangeexception) catch (indexoutofrangeexception) { // ... handle } </code></pre><p>причина, по которой мы этого хотим, заключается в том, что мы не хотим, чтобы обработчик исключений перехватывал то, что нам нужно позже в процессе. конечно, мы можем поймать исключение и проверить, что делать, если "да", но давайте будем честными, мы этого не хотим. (fxcop, проблемы с отладчиком, уродство)</p><p>так почему же этот код не скомпилируется - и как мы можем взломать его таким образом, чтобы он был?</p><p>если мы посмотрим на код, то, что мы действительно хотели бы сделать, это переадресовать вызов. однако, согласно ms partition ii, блоки обработчиков исключений il не будут работать таким образом, что в этом случае имеет смысл, поскольку это подразумевает, что объект "исключения" может иметь разные типы.</p><p>или, чтобы написать это в коде, мы просим компилятор сделать что-то вроде этого (ну, это не совсем правильно, но я думаю, это самая близкая вещь):</p><pre><code>// won't compile... damn try { throw new argumentoutofrangeexception(); } catch (argumentoutofrangeexception e) { goto theotherhandler; } catch (indexoutofrangeexception e) { theotherhandler: console.writeline("handle!"); } </code></pre><p>причина, по которой это не скомпилируется, совершенно очевидна: какой тип и значение будет иметь объект "$ exception" (которые здесь хранятся в переменных "e")? мы хотим, чтобы компилятор справился с этим, отметив, что общим базовым типом обоих исключений является "исключение", используйте его для переменной, содержащей оба исключения, а затем обрабатывайте только два захваченных исключения. способ, которым это реализовано в il, является "фильтром", который доступен в vb.net.</p><p>чтобы он работал в c #, нам нужна временная переменная с правильным базовым типом "exception". чтобы контролировать поток кода, мы можем добавить несколько веток. вот оно:</p><pre><code> exception ex; try { throw new argumentexception(); // for demo purposes; won't be caught. goto nocatch; } catch (argumentoutofrangeexception e) { ex = e; } catch (indexoutofrangeexception e) { ex = e; } console.writeline("handle the exception 'ex' here :-)"); // throw ex ? nocatch: console.writeline("we're done with the exception handling."); </code></pre><p>очевидными недостатками этого являются то, что мы не можем правильно перебросить, и, давайте будем честными, это довольно уродливое решение. уродливость можно немного исправить, выполнив удаление ветвей, что делает решение немного лучше:</p><pre><code>exception ex = null; try { throw new argumentexception(); } catch (argumentoutofrangeexception e) { ex = e; } catch (indexoutofrangeexception e) { ex = e; } if (ex != null) { console.writeline("handle the exception here :-)"); } </code></pre><p>это оставляет только "перебросить". чтобы это работало, нам нужно иметь возможность выполнять обработку внутри блока "catch" - и единственный способ выполнить эту работу - перехватывать объект "exception".</p><p>на этом этапе мы можем добавить отдельную функцию, которая обрабатывает различные типы исключений с использованием разрешения перегрузки или для обработки исключений. оба имеют недостатки. для начала вот способ сделать это с помощью вспомогательной функции:</p><pre><code>private static bool handle(exception e) { console.writeline("handle the exception here :-)"); return true; // false will re-throw; } public static void main() { try { throw new outofmemoryexception(); } catch (argumentexception e) { if (!handle(e)) { throw; } } catch (indexoutofrangeexception e) { if (!handle(e)) { throw; } } console.writeline("we're done with the exception handling."); </code></pre><p>и другое решение - перехватить объект exception и обработать его соответствующим образом. наиболее буквальный перевод для этого, основанный на контексте выше, это:</p><pre><code>try { throw new argumentexception(); } catch (exception e) { exception ex = (exception)(e as argumentexception) ?? (e as indexoutofrangeexception); if (ex != null) { console.writeline("handle the exception here :-)"); // throw ? } else { throw; } } </code></pre><p>итак, сделаем вывод:</p><ul> <li>если мы не хотим перебрасывать, мы можем рассмотреть возможность перехвата правильных исключений и их временного хранения.</li> <li>если обработчик прост, и мы хотим повторно использовать код, лучшим решением, вероятно, является введение вспомогательной функции.</li> <li>если мы хотим перезапустить, у нас нет другого выбора, кроме как поместить код в обработчик перехвата 'exception', который сломает fxcop и неперехваченные исключения вашего отладчика.</li> </ul>

<p>то есть вы повторяете много кода в каждом переключателе исключений? похоже, что извлечение метода было бы идеей бога, не так ли?</p><p>итак, ваш код сводится к этому:</p><pre><code>myclass instance; try { instance = ... } catch(exception1 e) { reset(instance); } catch(exception2 e) { reset(instance); } catch(exception) { throw; } void reset(myclass instance) { /* reset the state of the instance */ } </code></pre><p>интересно, почему никто не заметил это дублирование кода.</p><p>кроме того, из c # 6 у вас есть <a href="https://stackoverflow.com/questions/4268223/c-sharp-exception-filter">исключения-фильтры</a> , как уже упоминалось другими. таким образом, вы можете изменить код выше к этому:</p><pre><code>try { ... } catch(exception e) when(e is exception1 || e is exception2) { reset(instance); } </code></pre>

<p>это классическая проблема, с которой сталкивается каждый разработчик c #.</p><p>позвольте мне разбить ваш вопрос на 2 вопроса. первый,</p><p><strong>могу ли я поймать несколько исключений одновременно?</strong></p><p>короче нет.</p><p>что приводит к следующему вопросу,</p><p><strong>как мне избежать написания дублирующего кода, если я не могу перехватить несколько типов исключений в одном блоке catch ()?</strong></p><p>учитывая ваш конкретный пример, где резервное значение дешево построить, я бы хотел выполнить следующие шаги:</p><ol> <li>инициализируйте webid в качестве запасного значения.</li> <li>создайте новый guid во временной переменной.</li> <li>установите для webid полностью созданную временную переменную. сделайте это последним утверждением блока try {}.</li> </ol><p>итак, код выглядит так:</p><pre><code>try { webid = guid.empty; guid newguid = new guid(querystring["web"]); // more initialization code goes here like // newguid.x = y; webid = newguid; } catch (formatexception) {} catch (overflowexception) {} </code></pre><p>если выдается какое-либо исключение, то webid никогда не устанавливается на половину созданного значения и остается guid.empty.</p><p>если создание запасного значения стоит дорого, а сброс значения намного дешевле, я бы переместил код сброса в его собственную функцию:</p><pre><code>try { webid = new guid(querystring["web"]); // more initialization code goes here. } catch (formatexception) { reset(webid); } catch (overflowexception) { reset(webid); } </code></pre>

<p>может быть, постараться сохранить свой код простым, например, помещая общий код в метод, как вы делали бы в любой другой части кода, которая не содержится в предложении catch?</p><p>например.:</p><pre><code>try { // ... } catch (formatexception) { dosomething(); } catch (overflowexception) { dosomething(); } // ... private void dosomething() { // ... } </code></pre><p>как бы я это сделал, пытаясь найти шаблон <em>просто красиво</em></p>

<p>хотел добавить мой короткий ответ в эту уже длинную ветку. кое-что, что не было упомянуто, является порядком приоритета операторов catch, более конкретно, вам необходимо знать область действия каждого типа исключения, которое вы пытаетесь перехватить.</p><p>например, если вы используете исключение "catch-all" в качестве <strong> исключения </strong>, оно будет предшествовать всем остальным операторам catch, и вы, очевидно, получите ошибки компилятора, если вы отмените в порядке, в котором вы можете связать свои операторы catch (немного анти-паттерна, я думаю), вы можете поместить тип catch-all <strong> exception </strong> внизу и это будет захватывать любые исключения, которые не учитывались выше в вашем блоке try..catch:</p><pre><code> try { // do some work here } catch (webexception ex) { // catch a web excpetion } catch (argumentexception ex) { // do some stuff } catch (exception ex) { // you should really surface your errors but this is for example only throw new exception("an error occurred: " + ex.message); } </code></pre><p>я настоятельно рекомендую людям просмотреть этот документ msdn:</p><p> <a href="https://msdn.microsoft.com/en-us/library/z4c5tckx.aspx">иерархия исключений</a> </p>

<p>обратите внимание, что я нашел один способ сделать это, но это больше похоже на материал для <a href="https://en.wikipedia.org/wiki/the\_daily\_wtf">the daily wtf</a> :</p><pre><code>catch (exception ex) { switch (ex.gettype().name) { case "system.formatexception": case "system.overflowexception": webid = guid.empty; break; default: throw; } } </code></pre>

<p>здесь стоит упомянуть. вы можете ответить на несколько комбинаций (exception error и exception.message).</p><p>я столкнулся с сценарием сценария использования при попытке привести управляющий объект в сетку данных с таким содержимым, как textbox, textblock или checkbox. в этом случае возвращенное исключение было таким же, но сообщение изменилось.</p><pre><code>try { //do something } catch (exception ex) when (ex.message.equals("the\_error\_message1\_here")) { //do whatever you like } catch (exception ex) when (ex.message.equals("the\_error\_message2\_here")) { //do whatever you like } </code></pre>

<p>я хочу предложить кратчайший ответ (еще один <strong>функциональный стиль</strong>):</p><pre><code> catch<formatexception, overflowexception>(() => { webid = new guid(querystring["web"]); }, exception => { webid = guid.empty; }); </code></pre><p>для этого вам нужно создать несколько перегрузок метода "catch", аналогично system.action:</p><pre><code> [debuggernonusercode] public static void catch<texception1, texception2>(action tryblock, action<exception> catchblock) { catchmany(tryblock, catchblock, typeof(texception1), typeof(texception2)); } [debuggernonusercode] public static void catch<texception1, texception2, texception3>(action tryblock, action<exception> catchblock) { catchmany(tryblock, catchblock, typeof(texception1), typeof(texception2), typeof(texception3)); } </code></pre><p>и так далее сколько угодно. но вам нужно сделать это один раз, и вы можете использовать его во всех своих проектах (или, если вы создали пакет nuget, мы могли бы использовать его тоже).</p><p>и реализация catchmany:</p><pre><code> [debuggernonusercode] public static void catchmany(action tryblock, action<exception> catchblock, params type[] exceptiontypes) { try { tryblock(); } catch (exception exception) { if (exceptiontypes.contains(exception.gettype())) catchblock(exception); else throw; } } </code></pre><p>постскриптум я не ставил нулевые проверки для простоты кода, рассмотрите возможность добавления проверки параметров.</p><p>p.s.2 если вы хотите вернуть значение из catch, необходимо выполнить те же методы catch, но с параметрами return и func вместо action.</p>