Вызов операторов списка FSharp в форме префикса [duplicate]
В то время как , что вызывает NullReferenceExceptions и подходит к avoid / fix , такое исключение было рассмотрено в других ответах, что многие программисты не имеют " t узнал еще, как независимо отлаживать такие исключения во время разработки.
В Visual Studio это обычно легко благодаря Visual Studio Debugger .
Во-первых, убедитесь, что правильная ошибка будет обнаружена - см. . Как разрешить нарушение «Исключение System.NullReferenceException» в VS2010? Примечание1
Затем либо Начать с отладки (F5) , либо Приложить [отладчик VS] к запуску процесса . Иногда может быть полезно использовать Debugger.Break , в котором будет предложено запустить отладчик.
Теперь, когда NullReferenceException выбрано (или необработанно), отладчик остановится ( помните правило, указанное выше?) в строке, на которой произошло исключение. Иногда ошибка может быть легко обнаружена.
Например, в следующей строке единственный код, который может , вызывает исключение, если myString имеет значение null. Это можно проверить, посмотрев окно Watch или выполнив выражения в окне Immediate Window .
var x = myString.Trim();
В более сложных случаях, таких как следуя ниже, вам нужно будет использовать один из методов выше (Watch или Immediate Windows) для проверки выражений, чтобы определить, было ли str1 пустым или если str2 имеет значение null.
var x = str1.Trim() + str2.Trim();
Once , где было выбрано исключение, это обычно тривиально по отношению к разуму назад, чтобы выяснить, где введенное значение null было [неправильно] -
. Найдите время, необходимое для понимания причина исключения. Проверьте нулевые выражения. Проверьте предыдущие выражения, которые могли бы привести к таким нулевым выражениям. Добавьте контрольные точки и, по мере необходимости, пройдите через программу. Используйте отладчик.
1 Если Break on Throws слишком агрессивен и отладчик останавливается на NPE в библиотеке .NET или сторонних разработчиков, Break на User-Unhandled можно использовать для ограничения выловленных исключений. Кроме того, VS2012 представляет Just My Code , который я рекомендую также включить.
Если вы отлаживаете с включенным Just My Code, поведение немного отличается. При включенном Just My Code отладчик игнорирует исключения, связанные с привилегиями обычного языка (CLR) первого шанса, которые выходят за пределы My Code и не проходят через My Code
blockquote>
3 ответа
Парафразировано из http://cs.hubfs.net/forums/permalink/11713/11713/ShowThread.aspx#11713
(::) является дискриминационным объединением ' конструктор 'для list<'a> type, и поэтому поднял вопрос о том, следует ли в качестве значения функции его аргументы (например, +) или чередовать (как и все конструкторы DU). В любом случае это кажется подозрительным / неожиданным для некоторых людей, поэтому F # просто запрещает конструкцию.
Конечно, вы всегда можете написать, например,
let cons x y = x :: y
и использовать cons, или просто использовать лямбда fun x y -> x::y, если вы хотите для этого использовать «префиксную функцию из двух аргументов».
К сожалению, нет, вы не можете. :: не является оператором, а является «символическим ключевым словом» в соответствии с грамматикой языка (см. раздел 3.6 спецификации ), как и :?> и некоторые другие. Конечно, язык здесь несовместим, так как существует несколько символических ключевых слов, которые можно трактовать так, как если бы они были операторами (по крайней мере, (*) и (<@ @>)).
:: и [] могут быть представлены соответственно List<_>.Cons и List<_>.Empty. Имейте в виду, что первый берет кортеж в качестве аргумента. Они здесь, поэтому списки могут быть созданы на языках, отличных от F #.
> List.Cons(4, List.Empty);;
val it : int list = [4]
> 4::[];;
val it : int list = [4]
> List<int>.Cons(4, List<int>.Empty);;
val it : int list = [4]
> List.Cons;;
val it : 'a * 'a list -> 'a list = <fun:clo@24-7> //'
> List<int>.Empty;;
val it : int list = []
-
1– Guy Coder 20 January 2013 в 03:36